doc/Makefile.am
author ladanyi
Tue, 14 Jun 2005 09:42:46 +0000
changeset 1480 268c2b5d8971
parent 1451 d2143018b4e4
child 1487 6ea6d0d789c6
permissions -rw-r--r--
distribute the LICENSE file too
ladanyi@542
     1
## TODO: Doxyfile should be generated from Doxyfile.in by configure. This way
ladanyi@542
     2
## the value of PROJECT_NAME, PROJRCT_NUMBER, PERL_PATH, etc. could be
ladanyi@542
     3
## substituted in configure-time.
ladanyi@542
     4
ladanyi@542
     5
htmldir = $(datadir)/doc/@PACKAGE@-@VERSION@/html
ladanyi@542
     6
## htmldir = $(pkgdatadir)/doc
ladanyi@542
     7
ladanyi@1479
     8
EXTRA_DIST = html icons mainpage.dox getstart.dox quicktour.dox \
alpar@1177
     9
	demoprograms.dox graphs.dox undir_graphs.dox named-param.dox \
ladanyi@1479
    10
	maps.dox coding_style.dox groups.dox namespaces.dox license.dox \
alpar@1401
    11
	developers_interface.dox graph_io.dox dirs.dox graph-adaptors.dox
alpar@1177
    12
ladanyi@542
    13
ladanyi@562
    14
## all-local: html/index.html
ladanyi@542
    15
ladanyi@542
    16
## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
ladanyi@542
    17
## INPUT variable.
ladanyi@1310
    18
html/index.html:
klao@1450
    19
	if test ${doxygen_found} = yes; then \
klao@1450
    20
	  doxygen Doxyfile; \
klao@1451
    21
	  cp $(srcdir)/icons/geom/ftv2* html; \
klao@1450
    22
	fi
ladanyi@542
    23
ladanyi@542
    24
## This is needed to make 'make dist' work even if the 'html' subdirectory
ladanyi@542
    25
## does not exist.
ladanyi@542
    26
html: html/index.html
ladanyi@542
    27
ladanyi@542
    28
clean-local:
ladanyi@542
    29
	-rm -rf html
ladanyi@542
    30
ladanyi@542
    31
install-data-local: html/index.html
ladanyi@542
    32
	@$(NORMAL_INSTALL)
ladanyi@542
    33
	$(mkinstalldirs) $(DESTDIR)$(htmldir)
alpar@1400
    34
	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
ladanyi@542
    35
	  f="`echo $$p | sed -e 's|^.*/||'`"; \
ladanyi@542
    36
	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
ladanyi@542
    37
	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
ladanyi@542
    38
	done
ladanyi@542
    39
ladanyi@542
    40
uninstall-local: html/index.html
ladanyi@542
    41
	@$(NORMAL_UNINSTALL)
alpar@1400
    42
	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
ladanyi@542
    43
	  f="`echo $$p | sed -e 's|^.*/||'`"; \
ladanyi@542
    44
	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
ladanyi@542
    45
	  rm -f $(DESTDIR)$(htmldir)/$$f; \
ladanyi@542
    46
	done