26 $(DOC_EPS_IMAGES:%.eps=doc/gen-images/%.png)
28 EXTRA_DIST += $(DOC_EPS_IMAGES:%=doc/images/%)
31 $(MAKE) $(AM_MAKEFLAGS) html
33 GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4
35 $(DOC_EPS_IMAGES18:%.eps=doc/gen-images/%.png): doc/gen-images/%.png: doc/images/%.eps
37 if test ${gs_found} = yes; then \
38 $(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<; \
41 echo "Ghostscript not found."; \
46 html-local: $(DOC_PNG_IMAGES)
47 if test ${doxygen_found} = yes; then \
53 echo "Doxygen not found."; \
60 -rm -f doc/doxygen.log
61 -rm -f $(DOC_PNG_IMAGES)
62 -rm -rf doc/gen-images
65 wget -O doc/libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \
66 mv doc/libstdc++.tag.tmp doc/libstdc++.tag || \
67 rm doc/libstdc++.tag.tmp
69 install-html-local: doc/html
71 $(mkinstalldirs) $(DESTDIR)$(htmldir)/docs
72 for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
73 f="`echo $$p | sed -e 's|^.*/||'`"; \
74 echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f"; \
75 $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f; \
80 for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
81 f="`echo $$p | sed -e 's|^.*/||'`"; \
82 echo " rm -f $(DESTDIR)$(htmldir)/docs/$$f"; \
83 rm -f $(DESTDIR)$(htmldir)/docs/$$f; \
86 .PHONY: update-external-tags