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