25 $(DOC_EPS_IMAGES:%.eps=doc/gen-images/%.png)
27 EXTRA_DIST += $(DOC_EPS_IMAGES:%=doc/images/%)
30 $(MAKE) $(AM_MAKEFLAGS) html
32 GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4
34 $(DOC_EPS_IMAGES18:%.eps=doc/gen-images/%.png): doc/gen-images/%.png: doc/images/%.eps
36 if test ${gs_found} = yes; then \
37 $(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<; \
40 echo "Ghostscript not found."; \
45 html-local: $(DOC_PNG_IMAGES)
46 if test ${doxygen_found} = yes; then \
52 echo "Doxygen not found."; \
59 -rm -f doc/doxygen.log
60 -rm -f $(DOC_PNG_IMAGES)
61 -rm -rf doc/gen-images
64 wget -O doc/libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \
65 mv doc/libstdc++.tag.tmp doc/libstdc++.tag || \
66 rm doc/libstdc++.tag.tmp
68 install-html-local: doc/html
70 $(mkinstalldirs) $(DESTDIR)$(htmldir)/docs
71 for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
72 f="`echo $$p | sed -e 's|^.*/||'`"; \
73 echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f"; \
74 $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f; \
79 for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
80 f="`echo $$p | sed -e 's|^.*/||'`"; \
81 echo " rm -f $(DESTDIR)$(htmldir)/docs/$$f"; \
82 rm -f $(DESTDIR)$(htmldir)/docs/$$f; \
85 .PHONY: update-external-tags