doc/Makefile.am
author Peter Kovacs <kpeter@inf.elte.hu>
Tue, 05 Feb 2008 17:34:28 +0100
changeset 71 9df0fe5e5109
parent 1 51eaad3a817b
child 56 9597aa501c7c
permissions -rw-r--r--
Minor improvement in groups.dox.
ladanyi@1
     1
htmldir = $(datadir)/doc/$(PACKAGE)/html
ladanyi@1
     2
ladanyi@1
     3
EXTRA_DIST += \
ladanyi@1
     4
	doc/Makefile \
ladanyi@1
     5
	doc/Doxyfile.in
ladanyi@1
     6
ladanyi@1
     7
doc:
ladanyi@1
     8
	if test ${doxygen_found} = yes; then \
ladanyi@1
     9
	  cd doc; \
ladanyi@1
    10
	  doxygen Doxyfile; \
ladanyi@1
    11
	  cd ..; \
ladanyi@1
    12
	fi
ladanyi@1
    13
ladanyi@1
    14
doc-clean:
ladanyi@1
    15
	if test ${doxygen_found} = yes; then \
ladanyi@1
    16
	  rm -rf doc/html; \
ladanyi@1
    17
	  rm -f doc/doxygen.log; \
ladanyi@1
    18
	  cd doc; \
ladanyi@1
    19
	  doxygen Doxyfile; \
ladanyi@1
    20
	  cd ..; \
ladanyi@1
    21
	fi
ladanyi@1
    22
ladanyi@1
    23
clean-local:
ladanyi@1
    24
	-rm -rf doc/html
ladanyi@1
    25
	-rm -f doc/doxygen.log
ladanyi@1
    26
ladanyi@1
    27
doc/html:
ladanyi@1
    28
	$(MAKE) $(AM_MAKEFLAGS) doc-clean
ladanyi@1
    29
ladanyi@1
    30
if WANT_DOC
ladanyi@1
    31
ladanyi@1
    32
install-data-local: doc/html
ladanyi@1
    33
	@$(NORMAL_INSTALL)
ladanyi@1
    34
	$(mkinstalldirs) $(DESTDIR)$(htmldir)
ladanyi@1
    35
	@dir='doc/html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.gif $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
ladanyi@1
    36
	  f="`echo $$p | sed -e 's|^.*/||'`"; \
ladanyi@1
    37
	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
ladanyi@1
    38
	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
ladanyi@1
    39
	done
ladanyi@1
    40
ladanyi@1
    41
uninstall-local: doc/html
ladanyi@1
    42
	@$(NORMAL_UNINSTALL)
ladanyi@1
    43
	@dir='doc/html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.gif $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \
ladanyi@1
    44
	  f="`echo $$p | sed -e 's|^.*/||'`"; \
ladanyi@1
    45
	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
ladanyi@1
    46
	  rm -f $(DESTDIR)$(htmldir)/$$f; \
ladanyi@1
    47
	done
ladanyi@1
    48
ladanyi@1
    49
endif WANT_DOC
ladanyi@1
    50
ladanyi@1
    51
.PHONY: doc doc-clean