From c3434817dafc2bfa09ba901bf8a20ae1dbc2bf72 Mon Sep 17 00:00:00 2001 From: Oliver Schmidt Date: Sun, 9 Feb 2014 22:57:38 +0100 Subject: [PATCH] Some minor fine tuning. --- doc/Makefile | 2 +- doc/header.html | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 @@ - + -- 2.39.5