--- /dev/null
+#
+# 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