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