doc/Makefile.am
author ladanyi
Tue, 05 Apr 2005 09:08:23 +0000
changeset 1305 c3dc75d4af24
parent 1072 ce824c6ffd5d
child 1310 1b434e6cc405
permissions -rw-r--r--
- moved lp_base.h, lp_base.cc, lp_glpk.h, lp_glpk.cc, lp_solver_skeleton.h and
lp_solver_skeleton.cc to src/lemon
- modified the includes
     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 = Doxyfile 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 gwrappers.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: Doxyfile
    19 	-rm -rf html
    20 	doxygen Doxyfile
    21 
    22 ## This is needed to make 'make dist' work even if the 'html' subdirectory
    23 ## does not exist.
    24 html: html/index.html
    25 
    26 clean-local:
    27 	-rm -rf html
    28 
    29 install-data-local: html/index.html
    30 	@$(NORMAL_INSTALL)
    31 	$(mkinstalldirs) $(DESTDIR)$(htmldir)
    32 	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
    33 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    34 	  echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
    35 	  $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
    36 	done
    37 
    38 uninstall-local: html/index.html
    39 	@$(NORMAL_UNINSTALL)
    40 	@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \
    41 	  f="`echo $$p | sed -e 's|^.*/||'`"; \
    42 	  echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
    43 	  rm -f $(DESTDIR)$(htmldir)/$$f; \
    44 	done