+ sed -i '/^pre\.fragment {/,/}/{/font-size/d}' html/doxygen.css
+
+install: generate
+ rm -fr $(DEST)
+ install -m 755 -d $(DEST)
+ install -m 644 $(SRC) $(DEST)
+ install -m 644 html/* $(DEST)
+ install -m 644 htaccess $(DEST)/.htaccess
+
+install_www: install
+ update-www