[542] | 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 | |
---|
[1310] | 8 | EXTRA_DIST = html mainpage.dox getstart.dox quicktour.dox \ |
---|
[1177] | 9 | demoprograms.dox graphs.dox undir_graphs.dox named-param.dox \ |
---|
| 10 | maps.dox coding_style.dox groups.dox namespaces.dox license.dox \ |
---|
[1401] | 11 | developers_interface.dox graph_io.dox dirs.dox graph-adaptors.dox |
---|
[1177] | 12 | |
---|
[542] | 13 | |
---|
[562] | 14 | ## all-local: html/index.html |
---|
[542] | 15 | |
---|
| 16 | ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's |
---|
| 17 | ## INPUT variable. |
---|
[1310] | 18 | html/index.html: |
---|
[1400] | 19 | if test ${doxygen_found} = yes; then doxygen Doxyfile; fi |
---|
[542] | 20 | |
---|
| 21 | ## This is needed to make 'make dist' work even if the 'html' subdirectory |
---|
| 22 | ## does not exist. |
---|
| 23 | html: html/index.html |
---|
| 24 | |
---|
| 25 | clean-local: |
---|
| 26 | -rm -rf html |
---|
| 27 | |
---|
| 28 | install-data-local: html/index.html |
---|
| 29 | @$(NORMAL_INSTALL) |
---|
| 30 | $(mkinstalldirs) $(DESTDIR)$(htmldir) |
---|
[1400] | 31 | @dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \ |
---|
[542] | 32 | f="`echo $$p | sed -e 's|^.*/||'`"; \ |
---|
| 33 | echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \ |
---|
| 34 | $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \ |
---|
| 35 | done |
---|
| 36 | |
---|
| 37 | uninstall-local: html/index.html |
---|
| 38 | @$(NORMAL_UNINSTALL) |
---|
[1400] | 39 | @dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \ |
---|
[542] | 40 | f="`echo $$p | sed -e 's|^.*/||'`"; \ |
---|
| 41 | echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
---|
| 42 | rm -f $(DESTDIR)$(htmldir)/$$f; \ |
---|
| 43 | done |
---|