COIN-OR::LEMON - Graph Library

source: lemon-0.x/doc/Makefile.am @ 1450:11a35ece69c7

Last change on this file since 1450:11a35ece69c7 was 1450:11a35ece69c7, checked in by Mihaly Barasz, 19 years ago
  • Doc generation restructuring: don't remove the whole html/ subdirectory on each generation.
  • doc target in make
File size: 1.6 KB
Line 
1## TODO: Doxyfile should be generated from Doxyfile.in by configure. This way
2## the value of PROJECT_NAME, PROJRCT_NUMBER, PERL_PATH, etc. could be
3## substituted in configure-time.
4
5htmldir = $(datadir)/doc/@PACKAGE@-@VERSION@/html
6## htmldir = $(pkgdatadir)/doc
7
8EXTRA_DIST = html mainpage.dox getstart.dox quicktour.dox \
9        demoprograms.dox graphs.dox undir_graphs.dox named-param.dox \
10        maps.dox coding_style.dox groups.dox namespaces.dox license.dox \
11        developers_interface.dox graph_io.dox dirs.dox graph-adaptors.dox
12
13
14## all-local: html/index.html
15
16## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
17## INPUT variable.
18html/index.html:
19        if test ${doxygen_found} = yes; then \
20          doxygen Doxyfile; \
21          cp icons/geom/ftv2* html; \
22        fi
23
24## This is needed to make 'make dist' work even if the 'html' subdirectory
25## does not exist.
26html: html/index.html
27
28clean-local:
29        -rm -rf html
30
31install-data-local: html/index.html
32        @$(NORMAL_INSTALL)
33        $(mkinstalldirs) $(DESTDIR)$(htmldir)
34        @dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
35          f="`echo $$p | sed -e 's|^.*/||'`"; \
36          echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
37          $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
38        done
39
40uninstall-local: html/index.html
41        @$(NORMAL_UNINSTALL)
42        @dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
43          f="`echo $$p | sed -e 's|^.*/||'`"; \
44          echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
45          rm -f $(DESTDIR)$(htmldir)/$$f; \
46        done
Note: See TracBrowser for help on using the repository browser.