diff doc/interpreter/Makefile.in @ 6031:fd26599c1841

[project @ 2006-10-04 16:09:38 by jwe]
author jwe
date Wed, 04 Oct 2006 16:09:38 +0000
parents d45cb743ff2e
children b64fb24bf4a0
line wrap: on
line diff
--- a/doc/interpreter/Makefile.in	Wed Oct 04 14:54:46 2006 +0000
+++ b/doc/interpreter/Makefile.in	Wed Oct 04 16:09:38 2006 +0000
@@ -31,6 +31,8 @@
 IMAGES_PDF = $(SPARSEIMAGES_PDF)
 IMAGES_PNG = $(SPARSEIMAGES_PNG)
 IMAGES_TXT = $(SPARSEIMAGES_TXT)
+
+HTML_IMAGES_PNG = $(addprefix HTML/, $(IMAGES_PNG))
   
 IMAGES = $(IMAGES_EPS) $(IMAGES_PDF) $(IMAGES_PNG) $(IMAGES_TXT)
 
@@ -130,15 +132,17 @@
 	  -I.. -I$(srcdir) -I$(srcdir)/.. $<
 	mv BUGS ../../BUGS
 
-HTML/index.html: html-figs $(TEXINFO)
+HTML/index.html: $(HTML_IMAGES_PNG) $(TEXINFO)
 	-$(MAKEINFO) --html --ifinfo --output=HTML -I.. -I$(srcdir) -I$(srcdir)/.. $(MAIN_TEXINFO)
 
-html-figs: $(IMAGES_PNG) html-dir
-	$(INSTALL_DATA) $(IMAGES_PNG) HTML
-.PHONY: html-figs
-
-html-dir:
-	if [ -d HTML ]; then true; else mkdir HTML; fi
+$(HTML_IMAGES_PNG): HTML/%.png : %.png
+	@if [ -d HTML ]; then \
+	  true; \
+	else \
+	  echo "creating HTML directory"; \
+	  mkdir HTML; \
+	fi
+	$(INSTALL_DATA) $(filter-out html-dir, $<) HTML
 
 define run-octave
   $(TOPDIR)/run-octave -f -q -H -p $(srcdir) \