Include header and footer when generating documentation.

9 years ago · bacc0821ff
parent fef4ee1f62
commit bacc0821ff
4 changed files with 21 additions and 3 deletions
--- a/.gitignore
+++ b/.gitignore
@ -4,7 +4,7 @@
 *.deb
 *.tar.gz
 *.zip
-doc/*.html
+doc/MANUAL.html
 README.html
 examples/native/htaccess
 examples/simple/htaccess
--- a/9
+++ b/9
@ -13,8 +13,13 @@ uninstall:
 release: release_src release_deb release_rpm
 doc:
-	markdown_py doc/MANUAL.md > doc/MANUAL.html
+	cat doc/header.html > doc/MANUAL.html
-	markdown_py README.md > README.html
+	markdown_py doc/MANUAL.md >> doc/MANUAL.html
 	cat doc/footer.html >> doc/MANUAL.html
 	cat doc/header.html > README.html
 	markdown_py README.md >> README.html
 	cat doc/footer.html >> README.html
 release_src: doc
 	@echo "Making release for version $(REL_VERSION)"
--- a/doc/footer.html
+++ b/doc/footer.html
@ -0,0 +1,2 @@
 </body>
 </html>
--- a/doc/header.html
+++ b/doc/header.html
@ -0,0 +1,11 @@
 <html>
 <head>
    <style>
        body { font-family: sans-serif; width: 70%; margin: 32px auto 32px auto; text-align: justify; }
        pre { font-family: monospace; background-color: #F4F4F4; overflow-x: auto; }
        @media screen and (max-width: 800px) {
            body { width: 95%; }
        }
    </style>
 </head>
 <body>