doc/Makefile.am
author alpar
Tue, 20 Jul 2004 09:52:03 +0000
changeset 712 6f1abe741fb6
parent 562 0ed29fe9d071
child 1072 ce824c6ffd5d
permissions -rw-r--r--
src/becnhmark gets in the distro.
I hope it works well.
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
alpar@614
     8
EXTRA_DIST = Doxyfile html coding_style.dox groups.dox mainpage.dox maps.dox
ladanyi@542
     9
ladanyi@562
    10
## all-local: html/index.html
ladanyi@542
    11
ladanyi@542
    12
## TODO: 'html/index.html' should depend on the files listed in Doxyfile's
ladanyi@542
    13
## INPUT variable.
ladanyi@542
    14
html/index.html: Doxyfile
ladanyi@542
    15
	-rm -rf html
ladanyi@542
    16
	doxygen Doxyfile
ladanyi@542
    17
ladanyi@542
    18
## This is needed to make 'make dist' work even if the 'html' subdirectory
ladanyi@542
    19
## does not exist.
ladanyi@542
    20
html: html/index.html
ladanyi@542
    21
ladanyi@542
    22
clean-local:
ladanyi@542
    23
	-rm -rf html
ladanyi@542
    24
ladanyi@542
    25
install-data-local: html/index.html
ladanyi@542
    26
	@$(NORMAL_INSTALL)
ladanyi@542
    27
	$(mkinstalldirs) $(DESTDIR)$(htmldir)
ladanyi@542
    28
	@dir='$(<D)'; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
ladanyi@542
    29
	  f="`echo $$p | sed -e 's|^.*/||'`"; \
ladanyi@542
    30
	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
ladanyi@542
    31
	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
ladanyi@542
    32
	done
ladanyi@542
    33
ladanyi@542
    34
uninstall-local: html/index.html
ladanyi@542
    35
	@$(NORMAL_UNINSTALL)
ladanyi@542
    36
	@dir='$(<D)'; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
ladanyi@542
    37
	  f="`echo $$p | sed -e 's|^.*/||'`"; \
ladanyi@542
    38
	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
ladanyi@542
    39
	  rm -f $(DESTDIR)$(htmldir)/$$f; \
ladanyi@542
    40
	done