24 $(DOC_EPS_IMAGES:%.eps=doc/gen-images/%.png)
26 EXTRA_DIST += $(DOC_EPS_IMAGES:%=doc/images/%)
29 $(MAKE) $(AM_MAKEFLAGS) html
31 GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4
33 $(DOC_EPS_IMAGES18:%.eps=doc/gen-images/%.png): doc/gen-images/%.png: doc/images/%.eps
35 if test ${gs_found} = yes; then \
36 $(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<; \
39 echo "Ghostscript not found."; \
44 html-local: $(DOC_PNG_IMAGES)
45 if test ${doxygen_found} = yes; then \
51 echo "Doxygen not found."; \
58 -rm -f doc/doxygen.log
59 -rm -f $(DOC_PNG_IMAGES)
60 -rm -rf doc/gen-images
63 wget -O doc/libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \
64 mv doc/libstdc++.tag.tmp doc/libstdc++.tag || \
65 rm doc/libstdc++.tag.tmp
67 install-html-local: doc/html
69 $(mkinstalldirs) $(DESTDIR)$(htmldir)/docs
70 for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
71 f="`echo $$p | sed -e 's|^.*/||'`"; \
72 echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f"; \
73 $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f; \
78 for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
79 f="`echo $$p | sed -e 's|^.*/||'`"; \
80 echo " rm -f $(DESTDIR)$(htmldir)/docs/$$f"; \
81 rm -f $(DESTDIR)$(htmldir)/docs/$$f; \
84 .PHONY: update-external-tags