diff -r 6ed5fe0ea387 -r 51eaad3a817b doc/Makefile.am
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc/Makefile.am	Tue Dec 18 10:56:09 2007 +0100
@@ -0,0 +1,53 @@
+htmldir = $(datadir)/doc/$(PACKAGE)/html
+
+EXTRA_DIST += \
+	doc/Makefile \
+	doc/Doxyfile.in
+
+doc:
+	if test ${doxygen_found} = yes; then \
+	  cd doc; \
+	  doxygen Doxyfile; \
+	  cd ..; \
+	  cp $(srcdir)/doc/icons/geom/ftv2* doc/html; \
+	fi
+
+doc-clean:
+	if test ${doxygen_found} = yes; then \
+	  rm -rf doc/html; \
+	  rm -f doc/doxygen.log; \
+	  cd doc; \
+	  doxygen Doxyfile; \
+	  cd ..; \
+	  cp $(srcdir)/doc/icons/geom/ftv2* doc/html; \
+	fi
+
+clean-local:
+	-rm -rf doc/html
+	-rm -f doc/doxygen.log
+
+doc/html:
+	$(MAKE) $(AM_MAKEFLAGS) doc-clean
+
+if WANT_DOC
+
+install-data-local: doc/html
+	@$(NORMAL_INSTALL)
+	$(mkinstalldirs) $(DESTDIR)$(htmldir)
+	@dir='doc/html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.gif $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
+	  f="`echo $$p | sed -e 's|^.*/||'`"; \
+	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
+	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
+	done
+
+uninstall-local: doc/html
+	@$(NORMAL_UNINSTALL)
+	@dir='doc/html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.gif $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
+	  f="`echo $$p | sed -e 's|^.*/||'`"; \
+	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
+	  rm -f $(DESTDIR)$(htmldir)/$$f; \
+	done
+
+endif WANT_DOC
+
+.PHONY: doc doc-clean