Add make target www.

The new target allows to update the web page with "make www", followed
by a suitable command to copy the "web" directory to the server. That's
as easy as it gets.

diff --git a/Makefile b/Makefile
index 09ad34b3edcde8ab57ef140ed1ee35e32c61179f..7a5846ace2e0e5d034796e3a19a03bf99074d22c 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -195,8 +195,9 @@ install-lib: $(realname) $(headers)
        $(INSTALL) -m 644 $(headers) $(includedir)
 
 install: all install-bin install-man install-lib
+www: web/index.html web/osl.png web/doxygen/index.html
 
-.PHONY: all shared clean install install-bin install-man install-lib
+.PHONY: all shared clean install install-bin install-man install-lib www
 
 web/%.1.html: %.1
        man2html $< > $@
@@ -212,3 +213,7 @@ web/index.html: web/oslfsck.1.html web/index.html.in INSTALL README
        sed -e '1,/@INSTALL@/d' -e '/@MAN_PAGE@/,$$d' web/index.html.in >> $@
        sed -e '1,/Return to Main Contents/d' -e '/Index/,$$d' web/oslfsck.1.html >> $@
        sed -e '1,/@MAN_PAGE@/d' web/index.html.in >> $@
+
+web/doxygen/index.html: $(wildcard *.c *.h) web/Doxyfile web/header.html \
+               web/footer.html
+       doxygen web/Doxyfile