doxygen-files: doxygen doxygen.cfg doxygen.tar.gz: doxygen/index.html rm -rf $@ gtar czvf $@ doxygen