doc/Makefile.am
author ladanyi
Thu, 22 Jun 2006 18:20:25 +0000
changeset 2108 f2c532541730
parent 2071 00c4ce4f4170
child 2118 54350d5c316a
permissions -rw-r--r--
Single makefile.
     1 htmldir = $(datadir)/doc/$(PACKAGE)/html
     2 
     3 EXTRA_DIST += \
     4 	doc/html \
     5 	doc/icons/geom/ftv2doc.png \
     6 	doc/icons/geom/ftv2folderclosed.png \
     7 	doc/icons/geom/ftv2folderopen.png \
     8 	doc/coding_style.dox \
     9 	doc/developers_interface.dox \
    10 	doc/dirs.dox \
    11 	doc/getstart.dox \
    12 	doc/graph-adaptors.dox \
    13 	doc/graph_io.dox \
    14 	doc/graphs.dox \
    15 	doc/groups.dox \
    16 	doc/license.dox \
    17 	doc/mainpage.dox \
    18 	doc/maps.dox \
    19 	doc/named-param.dox \
    20 	doc/namespaces.dox \
    21 	doc/quicktour.dox \
    22 	doc/ugraphs.dox
    23 
    24 doc:
    25 	if test ${doxygen_found} = yes; then \
    26 	  cd doc; \
    27 	  doxygen Doxyfile; \
    28 	  cd ..; \
    29 	  cp $(srcdir)/doc/icons/geom/ftv2* doc/html; \
    30 	fi
    31 
    32 doc-clean:
    33 	if test ${doxygen_found} = yes; then \
    34 	  rm -rf doc/html; \
    35 	  rm -f doc/doxygen.log; \
    36 	  cd doc; \
    37 	  doxygen Doxyfile; \
    38 	  cd ..; \
    39 	  cp $(srcdir)/doc/icons/geom/ftv2* doc/html; \
    40 	fi
    41 
    42 clean-local:
    43 	-rm -rf doc/html
    44 	-rm -f doc/doxygen.log
    45 
    46 doc/html:
    47 	$(MAKE) $(AM_MAKEFLAGS) doc-clean
    48 
    49 install-data-local: doc/html
    50 	@$(NORMAL_INSTALL)
    51 	$(mkinstalldirs) $(DESTDIR)$(htmldir)
    52 	@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 \
    53 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    54 	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
    55 	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
    56 	done
    57 
    58 uninstall-local: doc/html
    59 	@$(NORMAL_UNINSTALL)
    60 	@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 \
    61 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    62 	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
    63 	  rm -f $(DESTDIR)$(htmldir)/$$f; \
    64 	done
    65 
    66 .PHONY: doc doc-clean