author | deba |
Mon, 13 Jun 2005 17:21:55 +0000 | |
changeset 1477 | 0d32f7947a00 |
parent 1450 | 11a35ece69c7 |
child 1479 | 5b64e502e5b3 |
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: |
klao@1450 | 19 |
if test ${doxygen_found} = yes; then \ |
klao@1450 | 20 |
doxygen Doxyfile; \ |
klao@1451 | 21 |
cp $(srcdir)/icons/geom/ftv2* html; \ |
klao@1450 | 22 |
fi |
ladanyi@542 | 23 |
|
ladanyi@542 | 24 |
## This is needed to make 'make dist' work even if the 'html' subdirectory |
ladanyi@542 | 25 |
## does not exist. |
ladanyi@542 | 26 |
html: html/index.html |
ladanyi@542 | 27 |
|
ladanyi@542 | 28 |
clean-local: |
ladanyi@542 | 29 |
-rm -rf html |
ladanyi@542 | 30 |
|
ladanyi@542 | 31 |
install-data-local: html/index.html |
ladanyi@542 | 32 |
@$(NORMAL_INSTALL) |
ladanyi@542 | 33 |
$(mkinstalldirs) $(DESTDIR)$(htmldir) |
alpar@1400 | 34 |
@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 | 35 |
f="`echo $$p | sed -e 's|^.*/||'`"; \ |
ladanyi@542 | 36 |
echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \ |
ladanyi@542 | 37 |
$(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \ |
ladanyi@542 | 38 |
done |
ladanyi@542 | 39 |
|
ladanyi@542 | 40 |
uninstall-local: html/index.html |
ladanyi@542 | 41 |
@$(NORMAL_UNINSTALL) |
alpar@1400 | 42 |
@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 | 43 |
f="`echo $$p | sed -e 's|^.*/||'`"; \ |
ladanyi@542 | 44 |
echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
ladanyi@542 | 45 |
rm -f $(DESTDIR)$(htmldir)/$$f; \ |
ladanyi@542 | 46 |
done |