doc/Makefile.am
author Balazs Dezso <deba@inf.elte.hu>
Sun, 20 Sep 2009 21:38:24 +0200
changeset 868 0513ccfea967
parent 663 8b0df68370a4
child 744 f8c468367dab
child 967 63fd58460c39
permissions -rw-r--r--
General improvements in weighted matching algorithms (#314)

- Fix include guard
- Uniform handling of MATCHED and UNMATCHED blossoms
- Prefer operations which decrease the number of trees
- Fix improper use of '/='

The solved problems did not cause wrong solution.
     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 	node_biconnected_components.eps \
    31 	strongly_connected_components.eps
    32 
    33 DOC_EPS_IMAGES = \
    34 	$(DOC_EPS_IMAGES18) \
    35 	$(DOC_EPS_IMAGES27)
    36 
    37 DOC_PNG_IMAGES = \
    38 	$(DOC_EPS_IMAGES:%.eps=doc/gen-images/%.png)
    39 
    40 EXTRA_DIST += $(DOC_EPS_IMAGES:%=doc/images/%)
    41 
    42 doc/html:
    43 	$(MAKE) $(AM_MAKEFLAGS) html
    44 
    45 GS_COMMAND=gs -dNOPAUSE -dBATCH -q -dEPSCrop -dTextAlphaBits=4 -dGraphicsAlphaBits=4
    46 
    47 $(DOC_EPS_IMAGES18:%.eps=doc/gen-images/%.png): doc/gen-images/%.png: doc/images/%.eps
    48 	-mkdir doc/gen-images
    49 	if test ${gs_found} = yes; then \
    50 	  $(GS_COMMAND) -sDEVICE=pngalpha -r18 -sOutputFile=$@ $<; \
    51 	else \
    52 	  echo; \
    53 	  echo "Ghostscript not found."; \
    54 	  echo; \
    55 	  exit 1; \
    56 	fi
    57 
    58 $(DOC_EPS_IMAGES27:%.eps=doc/gen-images/%.png): doc/gen-images/%.png: doc/images/%.eps
    59 	-mkdir doc/gen-images
    60 	if test ${gs_found} = yes; then \
    61 	  $(GS_COMMAND) -sDEVICE=pngalpha -r27 -sOutputFile=$@ $<; \
    62 	else \
    63 	  echo; \
    64 	  echo "Ghostscript not found."; \
    65 	  echo; \
    66 	  exit 1; \
    67 	fi
    68 
    69 html-local: $(DOC_PNG_IMAGES)
    70 	if test ${doxygen_found} = yes; then \
    71 	  cd doc; \
    72 	  doxygen Doxyfile; \
    73 	  cd ..; \
    74 	else \
    75 	  echo; \
    76 	  echo "Doxygen not found."; \
    77 	  echo; \
    78 	  exit 1; \
    79 	fi
    80 
    81 clean-local:
    82 	-rm -rf doc/html
    83 	-rm -f doc/doxygen.log
    84 	-rm -f $(DOC_PNG_IMAGES)
    85 	-rm -rf doc/gen-images
    86 
    87 update-external-tags:
    88 	wget -O doc/libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \
    89 	mv doc/libstdc++.tag.tmp doc/libstdc++.tag || \
    90 	rm doc/libstdc++.tag.tmp
    91 
    92 install-html-local: doc/html
    93 	@$(NORMAL_INSTALL)
    94 	$(mkinstalldirs) $(DESTDIR)$(htmldir)/html
    95 	for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
    96 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    97 	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f"; \
    98 	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/html/$$f; \
    99 	done
   100 
   101 uninstall-local:
   102 	@$(NORMAL_UNINSTALL)
   103 	for p in doc/html/*.{html,css,png,map,gif,tag} ; do \
   104 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
   105 	  echo " rm -f $(DESTDIR)$(htmldir)/html/$$f"; \
   106 	  rm -f $(DESTDIR)$(htmldir)/html/$$f; \
   107 	done
   108 
   109 .PHONY: update-external-tags