diff --git a/doc/Makefile b/doc/Makefile index 0211a4de9..dcb2af8e0 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -27,7 +27,7 @@ clean: ../html: @mkdir $@ -../html/%.html: %.sgml | ../html +../html/%.html: %.sgml header.html | ../html @cd ../html && linuxdoc -B html -s 0 -T $(TOC_LEVEL) -H ../doc/header.html ../doc/$< ../html/doc.%: doc.% | ../html diff --git a/doc/header.html b/doc/header.html index a2cb2f194..38a943e5b 100644 --- a/doc/header.html +++ b/doc/header.html @@ -1,4 +1,4 @@ - +