# HG changeset patch
# User klao
# Date 1118234118 0
# Node ID 11a35ece69c73b2a557dbf1011b258467608022f
# Parent  ac7e995e47e27f9f3d23faf66f694dece3b0971c
* Doc generation restructuring: don't remove the whole html/
  subdirectory on each generation.

* doc target in make

diff -r ac7e995e47e2 -r 11a35ece69c7 Makefile.am
--- a/Makefile.am	Tue Jun 07 16:13:21 2005 +0000
+++ b/Makefile.am	Wed Jun 08 12:35:18 2005 +0000
@@ -36,8 +36,14 @@
 	demo/Makefile.in \
 	gui/Makefile.in
 
+doc-clean:
+	$(MAKE) -C doc $(AM_MAKEFLAGS) clean html
+
 docs:
-	$(MAKE) -C doc $(AM_MAKEFLAGS) clean html
+	-rm -f doc/html/index.html
+	$(MAKE) -C doc $(AM_MAKEFLAGS) html
+
+doc: docs
 
 benchmark:
 	$(MAKE) -C benchmark $(AM_MAKEFLAGS)
diff -r ac7e995e47e2 -r 11a35ece69c7 doc/Makefile.am
--- a/doc/Makefile.am	Tue Jun 07 16:13:21 2005 +0000
+++ b/doc/Makefile.am	Wed Jun 08 12:35:18 2005 +0000
@@ -16,7 +16,10 @@
 ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
 ## INPUT variable.
 html/index.html:
-	if test ${doxygen_found} = yes; then doxygen Doxyfile; fi
+	if test ${doxygen_found} = yes; then \
+	  doxygen Doxyfile; \
+	  cp icons/geom/ftv2* html; \
+	fi
 
 ## This is needed to make 'make dist' work even if the 'html' subdirectory
 ## does not exist.