author | athos |
Fri, 06 May 2005 15:39:33 +0000 | |
changeset 1407 | 7152559e3d08 |
parent 1400 | d12508c2a007 |
child 1450 | 11a35ece69c7 |
permissions | -rw-r--r-- |
ladanyi@542 | 1 |
## TODO: Doxyfile should be generated from Doxyfile.in by configure. This way |
ladanyi@542 | 2 |
## the value of PROJECT_NAME, PROJRCT_NUMBER, PERL_PATH, etc. could be |
ladanyi@542 | 3 |
## substituted in configure-time. |
ladanyi@542 | 4 |
|
ladanyi@542 | 5 |
htmldir = $(datadir)/doc/@PACKAGE@-@VERSION@/html |
ladanyi@542 | 6 |
## htmldir = $(pkgdatadir)/doc |
ladanyi@542 | 7 |
|
ladanyi@1310 | 8 |
EXTRA_DIST = html mainpage.dox getstart.dox quicktour.dox \ |
alpar@1177 | 9 |
demoprograms.dox graphs.dox undir_graphs.dox named-param.dox \ |
alpar@1177 | 10 |
maps.dox coding_style.dox groups.dox namespaces.dox license.dox \ |
alpar@1401 | 11 |
developers_interface.dox graph_io.dox dirs.dox graph-adaptors.dox |
alpar@1177 | 12 |
|
ladanyi@542 | 13 |
|
ladanyi@562 | 14 |
## all-local: html/index.html |
ladanyi@542 | 15 |
|
ladanyi@542 | 16 |
## TODO: 'html/index.html' should depend on the files listed in Doxyfile's |
ladanyi@542 | 17 |
## INPUT variable. |
ladanyi@1310 | 18 |
html/index.html: |
alpar@1400 | 19 |
if test ${doxygen_found} = yes; then doxygen Doxyfile; fi |
ladanyi@542 | 20 |
|
ladanyi@542 | 21 |
## This is needed to make 'make dist' work even if the 'html' subdirectory |
ladanyi@542 | 22 |
## does not exist. |
ladanyi@542 | 23 |
html: html/index.html |
ladanyi@542 | 24 |
|
ladanyi@542 | 25 |
clean-local: |
ladanyi@542 | 26 |
-rm -rf html |
ladanyi@542 | 27 |
|
ladanyi@542 | 28 |
install-data-local: html/index.html |
ladanyi@542 | 29 |
@$(NORMAL_INSTALL) |
ladanyi@542 | 30 |
$(mkinstalldirs) $(DESTDIR)$(htmldir) |
alpar@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 \ |
ladanyi@542 | 32 |
f="`echo $$p | sed -e 's|^.*/||'`"; \ |
ladanyi@542 | 33 |
echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \ |
ladanyi@542 | 34 |
$(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \ |
ladanyi@542 | 35 |
done |
ladanyi@542 | 36 |
|
ladanyi@542 | 37 |
uninstall-local: html/index.html |
ladanyi@542 | 38 |
@$(NORMAL_UNINSTALL) |
alpar@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 \ |
ladanyi@542 | 40 |
f="`echo $$p | sed -e 's|^.*/||'`"; \ |
ladanyi@542 | 41 |
echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
ladanyi@542 | 42 |
rm -f $(DESTDIR)$(htmldir)/$$f; \ |
ladanyi@542 | 43 |
done |