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 endif ifeq ($(DOC),dev-manual) -XSLTOPTS = --stringparam html.stylesheet dev-style.css \ - --stringparam chapter.autolabel 1 \ - --stringparam section.autolabel 1 \ - --stringparam section.label.includes.component.label 1 \ - --xinclude +XSLTOPTS = --xinclude ALLPREQ = html pdf tarball # # Note that the tarfile might produce the "Cannot stat: No such file or directory" error diff --git a/documentation/dev-manual/dev-manual-customization.xsl b/documentation/dev-manual/dev-manual-customization.xsl index 8eb69050ba..8969605989 100644 --- a/documentation/dev-manual/dev-manual-customization.xsl +++ b/documentation/dev-manual/dev-manual-customization.xsl @@ -3,6 +3,8 @@ - - + + + +