diff options
Diffstat (limited to 'documentation/Makefile')
-rw-r--r-- | documentation/Makefile | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index e087bf44d4..6020800230 100644 --- a/documentation/Makefile +++ b/documentation/Makefile | |||
@@ -224,12 +224,7 @@ endif | |||
224 | 224 | ||
225 | 225 | ||
226 | ifeq ($(DOC),adt-manual) | 226 | ifeq ($(DOC),adt-manual) |
227 | XSLTOPTS = --stringparam html.stylesheet adt-style.css \ | 227 | XSLTOPTS = --xinclude |
228 | --stringparam chapter.autolabel 1 \ | ||
229 | --stringparam appendix.autolabel A \ | ||
230 | --stringparam section.autolabel 1 \ | ||
231 | --stringparam section.label.includes.component.label 1 \ | ||
232 | --xinclude | ||
233 | ALLPREQ = html pdf tarball | 228 | ALLPREQ = html pdf tarball |
234 | TARFILES = adt-manual.html adt-manual.pdf adt-style.css figures/adt-title.png | 229 | TARFILES = adt-manual.html adt-manual.pdf adt-style.css figures/adt-title.png |
235 | MANUALS = $(DOC)/$(DOC).html $(DOC)/$(DOC).pdf | 230 | MANUALS = $(DOC)/$(DOC).html $(DOC)/$(DOC).pdf |