[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 | |
---|
[1177] | 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 | |
---|
[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. |
---|
| 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) |
---|
[1072] | 32 | @dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \ |
---|
[542] | 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) |
---|
[1072] | 40 | @dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \ |
---|
[542] | 41 | f="`echo $$p | sed -e 's|^.*/||'`"; \ |
---|
| 42 | echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
---|
| 43 | rm -f $(DESTDIR)$(htmldir)/$$f; \ |
---|
| 44 | done |
---|