diff --git a/doc/web-footer.html b/doc/web-footer.html new file mode 100644 index 0000000..14d1c17 --- /dev/null +++ b/doc/web-footer.html @@ -0,0 +1,6 @@ + + + + + + diff --git a/doc/web-header.html b/doc/web-header.html new file mode 100644 index 0000000..d469c15 --- /dev/null +++ b/doc/web-header.html @@ -0,0 +1,13 @@ + + + + + + + + + + + +
+ diff --git a/src/Makefile.in b/src/Makefile.in index 11c7ec2..6f41727 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -276,8 +276,10 @@ DOCS=README.md INSTALLING.md BUILDING.md CONFIGURATION.md DEBUGGING.md \ DESTDOCS=$(addprefix $(WEBDOCS)/,$(addsuffix .html,$(basename $(DOCS)))) SRCDOCS=$(addprefix ../doc/,$(DOCS)) install-webdoc: $(DESTDOCS) -$(DESTDOCS): $(SRCDOCS) +$(DESTDOCS): $(SRCDOCS) ../doc/web-header.html ../doc/web-footer.html + cp ../doc/web-header.html $@ $(MARKDOWN) < $(addprefix ../doc/,$(basename $(notdir $@))).md > $@ + cat ../doc/web-footer.html >> $@ # -------------------------------------------------------------------- #