# $Id$ .PHONY: all clean ./doc all: ./doc ./doc: doxygen clean: rm -rf doc