fixed issue #1: docs.tar.bz2 includes all docs generated by doxygen