22 $(DOC_EPS_IMAGES:%.eps=doc/gen-images/%.png)
24 EXTRA_DIST += $(DOC_EPS_IMAGES:%=doc/images/%)
27 $(MAKE) $(AM_MAKEFLAGS) html
29 GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4
31 $(DOC_EPS_IMAGES18:%.eps=doc/gen-images/%.png): doc/gen-images/%.png: doc/images/%.eps
33 if test ${gs_found} = yes; then \
34 $(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<; \
37 echo "Ghostscript not found."; \
42 html-local: $(DOC_PNG_IMAGES)
43 if test ${doxygen_found} = yes; then \
49 echo "Doxygen not found."; \
56 -rm -f doc/doxygen.log
57 -rm -f $(DOC_PNG_IMAGES)
58 -rm -rf doc/gen-images
61 wget -O doc/libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \
62 mv doc/libstdc++.tag.tmp doc/libstdc++.tag || \
63 rm doc/libstdc++.tag.tmp
65 install-html-local: doc/html
67 $(mkinstalldirs) $(DESTDIR)$(htmldir)/docs
68 for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
69 f="`echo $$p | sed -e 's|^.*/||'`"; \
70 echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f"; \
71 $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f; \
76 for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
77 f="`echo $$p | sed -e 's|^.*/||'`"; \
78 echo " rm -f $(DESTDIR)$(htmldir)/docs/$$f"; \
79 rm -f $(DESTDIR)$(htmldir)/docs/$$f; \
82 .PHONY: update-external-tags