23 $(DOC_EPS_IMAGES:%.eps=doc/gen-images/%.png)
25 EXTRA_DIST += $(DOC_EPS_IMAGES:%=doc/images/%)
28 $(MAKE) $(AM_MAKEFLAGS) html
30 GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4
32 $(DOC_EPS_IMAGES18:%.eps=doc/gen-images/%.png): doc/gen-images/%.png: doc/images/%.eps
34 if test ${gs_found} = yes; then \
35 $(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<; \
38 echo "Ghostscript not found."; \
43 html-local: $(DOC_PNG_IMAGES)
44 if test ${doxygen_found} = yes; then \
50 echo "Doxygen not found."; \
57 -rm -f doc/doxygen.log
58 -rm -f $(DOC_PNG_IMAGES)
59 -rm -rf doc/gen-images
62 wget -O doc/libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \
63 mv doc/libstdc++.tag.tmp doc/libstdc++.tag || \
64 rm doc/libstdc++.tag.tmp
66 install-html-local: doc/html
68 $(mkinstalldirs) $(DESTDIR)$(htmldir)/docs
69 for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
70 f="`echo $$p | sed -e 's|^.*/||'`"; \
71 echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f"; \
72 $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f; \
77 for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
78 f="`echo $$p | sed -e 's|^.*/||'`"; \
79 echo " rm -f $(DESTDIR)$(htmldir)/docs/$$f"; \
80 rm -f $(DESTDIR)$(htmldir)/docs/$$f; \
83 .PHONY: update-external-tags