diff options
-rw-r--r-- | Documentation/DocBook/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Documentation/DocBook/Makefile b/Documentation/DocBook/Makefile index 36526a1e76d7..867608ab3ca0 100644 --- a/Documentation/DocBook/Makefile +++ b/Documentation/DocBook/Makefile | |||
@@ -53,8 +53,8 @@ installmandocs: mandocs | |||
53 | 53 | ||
54 | ### | 54 | ### |
55 | #External programs used | 55 | #External programs used |
56 | KERNELDOC = scripts/kernel-doc | 56 | KERNELDOC = $(srctree)/scripts/kernel-doc |
57 | DOCPROC = scripts/basic/docproc | 57 | DOCPROC = $(objtree)/scripts/basic/docproc |
58 | 58 | ||
59 | XMLTOFLAGS = -m $(srctree)/Documentation/DocBook/stylesheet.xsl | 59 | XMLTOFLAGS = -m $(srctree)/Documentation/DocBook/stylesheet.xsl |
60 | #XMLTOFLAGS += --skip-validation | 60 | #XMLTOFLAGS += --skip-validation |