diff options
Diffstat (limited to 'documentation/Makefile')
-rw-r--r-- | documentation/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/documentation/Makefile b/documentation/Makefile index 1ab74fc61a..7c3d16ec04 100644 --- a/documentation/Makefile +++ b/documentation/Makefile @@ -235,6 +235,20 @@ FIGURES = figures STYLESHEET = $(DOC)/*.css endif +ifeq ($(DOC),kernel-dev) +XSLTOPTS = --stringparam html.stylesheet kernel-dev-style.css \ + --stringparam chapter.autolabel 1 \ + --stringparam appendix.autolabel A \ + --stringparam section.autolabel 1 \ + --stringparam section.label.includes.component.label 1 \ + --xinclude +ALLPREQ = html pdf tarball +TARFILES = kernel-dev.html kernel-dev.pdf kernel-dev-style.css figures/kernel-dev-title.png +MANUALS = $(DOC)/$(DOC).html $(DOC)/$(DOC).pdf +FIGURES = figures +STYLESHEET = $(DOC)/*.css +endif + ## # These URI should be rewritten by your distribution's xml catalog to |