Remove redundant option (is include by default in the user makefile.
[bertos.git] / Doxyfile-offline
2009-09-08 lottavianodoc: Use a clearer name for offline Doxyfile.