| 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 = 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 graph-adaptors.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: |
|---|
| 19 | if test ${doxygen_found} = yes; then doxygen Doxyfile; fi |
|---|
| 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) |
|---|
| 31 | @dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \ |
|---|
| 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) |
|---|
| 39 | @dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \ |
|---|
| 40 | f="`echo $$p | sed -e 's|^.*/||'`"; \ |
|---|
| 41 | echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
|---|
| 42 | rm -f $(DESTDIR)$(htmldir)/$$f; \ |
|---|
| 43 | done |
|---|