doc/Makefile.am
author Peter Kovacs <kpeter@inf.elte.hu>
Tue, 15 Mar 2011 19:32:21 +0100
changeset 936 ddd3c0d3d9bf
parent 827 8131c2b9f59a
child 969 cfdbf1574403
child 1032 62ba43576f85
permissions -rw-r--r--
Implement the scaling Price Refinement heuristic in CostScaling (#417)
instead of Early Termination.

These two heuristics are similar, but the newer one is faster
and not only makes it possible to skip some epsilon phases, but
it can improve the performance of the other phases, as well.
     1 EXTRA_DIST += \
     2 	doc/Doxyfile.in \
     3 	doc/DoxygenLayout.xml \
     4 	doc/coding_style.dox \
     5 	doc/dirs.dox \
     6 	doc/groups.dox \
     7 	doc/lgf.dox \
     8 	doc/license.dox \
     9 	doc/mainpage.dox \
    10 	doc/migration.dox \
    11 	doc/min_cost_flow.dox \
    12 	doc/named-param.dox \
    13 	doc/namespaces.dox \
    14 	doc/html \
    15 	doc/CMakeLists.txt
    16 
    17 DOC_EPS_IMAGES18 = \
    18 	grid_graph.eps \
    19 	nodeshape_0.eps \
    20 	nodeshape_1.eps \
    21 	nodeshape_2.eps \
    22 	nodeshape_3.eps \
    23 	nodeshape_4.eps
    24 
    25 DOC_EPS_IMAGES27 = \
    26 	bipartite_matching.eps \
    27 	bipartite_partitions.eps \
    28 	connected_components.eps \
    29 	edge_biconnected_components.eps \
    30 	matching.eps \
    31 	node_biconnected_components.eps \
    32 	planar.eps \
    33 	strongly_connected_components.eps
    34 
    35 DOC_EPS_IMAGES = \
    36 	$(DOC_EPS_IMAGES18) \
    37 	$(DOC_EPS_IMAGES27)
    38 
    39 DOC_PNG_IMAGES = \
    40 	$(DOC_EPS_IMAGES:%.eps=doc/gen-images/%.png)
    41 
    42 EXTRA_DIST += $(DOC_EPS_IMAGES:%=doc/images/%)
    43 
    44 doc/html:
    45 	$(MAKE) $(AM_MAKEFLAGS) html
    46 
    47 GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4
    48 
    49 $(DOC_EPS_IMAGES18:%.eps=doc/gen-images/%.png): doc/gen-images/%.png: doc/images/%.eps
    50 	-mkdir doc/gen-images
    51 	if test ${gs_found} = yes; then \
    52 	  $(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<; \
    53 	else \
    54 	  echo; \
    55 	  echo "Ghostscript not found."; \
    56 	  echo; \
    57 	  exit 1; \
    58 	fi
    59 
    60 $(DOC_EPS_IMAGES27:%.eps=doc/gen-images/%.png): doc/gen-images/%.png: doc/images/%.eps
    61 	-mkdir doc/gen-images
    62 	if test ${gs_found} = yes; then \
    63 	  $(GS_COMMAND) -sDEVICE=pngalpha -r27 -sOutputFile=$@ $<; \
    64 	else \
    65 	  echo; \
    66 	  echo "Ghostscript not found."; \
    67 	  echo; \
    68 	  exit 1; \
    69 	fi
    70 
    71 references.dox: doc/references.bib
    72 	if test ${python_found} = yes; then \
    73 	  cd doc; \
    74 	  python @abs_top_srcdir@/scripts/bib2dox.py @abs_top_builddir@/$< >$@; \
    75 	  cd ..; \
    76 	else \
    77 	  echo; \
    78 	  echo "Python not found."; \
    79 	  echo; \
    80 	  exit 1; \
    81 	fi
    82 
    83 html-local: $(DOC_PNG_IMAGES) references.dox
    84 	if test ${doxygen_found} = yes; then \
    85 	  cd doc; \
    86 	  doxygen Doxyfile; \
    87 	  cd ..; \
    88 	else \
    89 	  echo; \
    90 	  echo "Doxygen not found."; \
    91 	  echo; \
    92 	  exit 1; \
    93 	fi
    94 
    95 clean-local:
    96 	-rm -rf doc/html
    97 	-rm -f doc/doxygen.log
    98 	-rm -f $(DOC_PNG_IMAGES)
    99 	-rm -rf doc/gen-images
   100 
   101 update-external-tags:
   102 	wget -O doc/libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \
   103 	mv doc/libstdc++.tag.tmp doc/libstdc++.tag || \
   104 	rm doc/libstdc++.tag.tmp
   105 
   106 install-html-local: doc/html
   107 	@$(NORMAL_INSTALL)
   108 	$(mkinstalldirs) $(DESTDIR)$(htmldir)/html
   109 	for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
   110 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
   111 	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f"; \
   112 	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f; \
   113 	done
   114 
   115 uninstall-local:
   116 	@$(NORMAL_UNINSTALL)
   117 	for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
   118 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
   119 	  echo " rm -f $(DESTDIR)$(htmldir)/html/$$f"; \
   120 	  rm -f $(DESTDIR)$(htmldir)/html/$$f; \
   121 	done
   122 
   123 .PHONY: update-external-tags