diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/doc/Makefile b/doc/Makefile deleted file mode 100644 index 9c34e0f..0000000 --- a/doc/Makefile +++ /dev/null @@ -1,35 +0,0 @@ -# -# doc/Makefile -# -# This library is free software; you can redistribute it and/or -# modify it under the terms of the GNU Lesser General Public -# License as published by the Free Software Foundation version 2.1 -# of the License. -# -# Copyright (c) 2003-2006 Thomas Graf <tgraf@suug.ch> -# - -ifeq ($(shell [ ! -r ../Makefile.opts ] && echo 1),) - include ../Makefile.opts -endif - -export - -.PHONY: all gendoc clean distclean install - -all: - @true - -gendoc: - doxygen Doxyfile - -clean: - @true - -distclean: - $(RM) -f html/* - -install: - @true - -$(DEPS): ../Makefile.opts |