Configurable glpk prefix in ./scripts/bootstrap.sh and ...
unneeded solver backends are explicitely switched off with --without-*
3 doc/DoxygenLayout.xml \
11 doc/min_cost_flow.dox \
26 bipartite_matching.eps \
27 bipartite_partitions.eps \
28 connected_components.eps \
29 edge_biconnected_components.eps \
30 node_biconnected_components.eps \
32 strongly_connected_components.eps
39 $(DOC_EPS_IMAGES:%.eps=doc/gen-images/%.png)
41 EXTRA_DIST += $(DOC_EPS_IMAGES:%=doc/images/%)
44 $(MAKE) $(AM_MAKEFLAGS) html
46 GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4
48 $(DOC_EPS_IMAGES18:%.eps=doc/gen-images/%.png): doc/gen-images/%.png: doc/images/%.eps
50 if test ${gs_found} = yes; then \
51 $(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<; \
54 echo "Ghostscript not found."; \
59 $(DOC_EPS_IMAGES27:%.eps=doc/gen-images/%.png): doc/gen-images/%.png: doc/images/%.eps
61 if test ${gs_found} = yes; then \
62 $(GS_COMMAND) -sDEVICE=pngalpha -r27 -sOutputFile=$@ $<; \
65 echo "Ghostscript not found."; \
70 references.dox: doc/references.bib
71 if test ${python_found} = yes; then \
73 python @abs_top_srcdir@/scripts/bib2dox.py @abs_top_builddir@/$< >$@; \
77 echo "Python not found."; \
82 html-local: $(DOC_PNG_IMAGES) references.dox
83 if test ${doxygen_found} = yes; then \
89 echo "Doxygen not found."; \
96 -rm -f doc/doxygen.log
97 -rm -f $(DOC_PNG_IMAGES)
98 -rm -rf doc/gen-images
100 update-external-tags:
101 wget -O doc/libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \
102 mv doc/libstdc++.tag.tmp doc/libstdc++.tag || \
103 rm doc/libstdc++.tag.tmp
105 install-html-local: doc/html
107 $(mkinstalldirs) $(DESTDIR)$(htmldir)/html
108 for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
109 f="`echo $$p | sed -e 's|^.*/||'`"; \
110 echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f"; \
111 $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f; \
116 for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
117 f="`echo $$p | sed -e 's|^.*/||'`"; \
118 echo " rm -f $(DESTDIR)$(htmldir)/html/$$f"; \
119 rm -f $(DESTDIR)$(htmldir)/html/$$f; \
122 .PHONY: update-external-tags