diff options
Diffstat (limited to 'documentation/Makefile')
| -rw-r--r-- | documentation/Makefile | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index fdf2385ea8..91d9a78033 100644 --- a/documentation/Makefile +++ b/documentation/Makefile | |||
| @@ -84,11 +84,7 @@ STYLESHEET = $(DOC)/*.css | |||
| 84 | endif | 84 | endif |
| 85 | 85 | ||
| 86 | ifeq ($(DOC),dev-manual) | 86 | ifeq ($(DOC),dev-manual) |
| 87 | XSLTOPTS = --stringparam html.stylesheet dev-style.css \ | 87 | XSLTOPTS = --xinclude |
| 88 | --stringparam chapter.autolabel 1 \ | ||
| 89 | --stringparam section.autolabel 1 \ | ||
| 90 | --stringparam section.label.includes.component.label 1 \ | ||
| 91 | --xinclude | ||
| 92 | ALLPREQ = html pdf tarball | 88 | ALLPREQ = html pdf tarball |
| 93 | # | 89 | # |
| 94 | # Note that the tarfile might produce the "Cannot stat: No such file or directory" error | 90 | # Note that the tarfile might produce the "Cannot stat: No such file or directory" error |