doc/Makefile.am
author alpar
Thu, 09 Jun 2005 16:23:16 +0000
changeset 1465 60c2961c75ca
parent 1450 11a35ece69c7
child 1479 5b64e502e5b3
permissions -rw-r--r--
Akos' research pointed out that it is a must.
     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 
     5 htmldir = $(datadir)/doc/@PACKAGE@-@VERSION@/html
     6 ## htmldir = $(pkgdatadir)/doc
     7 
     8 EXTRA_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.
    18 html/index.html:
    19 	if test ${doxygen_found} = yes; then \
    20 	  doxygen Doxyfile; \
    21 	  cp $(srcdir)/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.
    26 html: html/index.html
    27 
    28 clean-local:
    29 	-rm -rf html
    30 
    31 install-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 
    40 uninstall-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