$(DOC_EPS_IMAGES:%.eps
=doc/gen-images/%.png
)
EXTRA_DIST += $(DOC_EPS_IMAGES:%
=doc/images/%
)
$(MAKE
) $(AM_MAKEFLAGS
) html
GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits
=4 -dGraphicsAlphaBits
=4
$(DOC_EPS_IMAGES18:%.eps
=doc/gen-images/%.png
): doc/gen-images/%.png: doc/images/%.eps
if test ${gs_found} = yes;
then \
$(GS_COMMAND
) -sDEVICE
=pngalpha -r18 -sOutputFile
=$@ $<;
\
echo "Ghostscript not found."; \
html-local:
$(DOC_PNG_IMAGES
)
if test ${doxygen_found} = yes;
then \
echo "Doxygen not found."; \
wget -O doc/libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag
&& \
mv doc/libstdc++.tag.tmp doc/libstdc++.tag
|| \
install-html-local: doc/html
$(mkinstalldirs
) $(DESTDIR
)$(htmldir
)/docs
for p in doc/html/*.
{html,css,png,map,gif,tag
} ;
do \
f="`echo $$p | sed -e 's|^.*/||'`";
\
echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/docs/$$f";
\
$(INSTALL_DATA
) $$p
$(DESTDIR
)$(htmldir
)/docs/
$$f;
\
for p in doc/html/*.
{html,css,png,map,gif,tag
} ;
do \
f="`echo $$p | sed -e 's|^.*/||'`";
\
echo " rm -f $(DESTDIR)$(htmldir)/docs/$$f";
\
rm -f
$(DESTDIR
)$(htmldir
)/docs/
$$f;
\
.PHONY: update-external-tags