author | deba |
Sat, 09 Apr 2005 19:35:33 +0000 | |
changeset 1333 | 2640cf6547ff |
parent 1177 | e41c2907fb49 |
child 1400 | d12508c2a007 |
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@1177 | 11 |
developers_interface.dox graph_io.dox dirs.dox gwrappers.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: |
ladanyi@542 | 19 |
-rm -rf html |
ladanyi@542 | 20 |
doxygen Doxyfile |
ladanyi@542 | 21 |
|
ladanyi@542 | 22 |
## This is needed to make 'make dist' work even if the 'html' subdirectory |
ladanyi@542 | 23 |
## does not exist. |
ladanyi@542 | 24 |
html: html/index.html |
ladanyi@542 | 25 |
|
ladanyi@542 | 26 |
clean-local: |
ladanyi@542 | 27 |
-rm -rf html |
ladanyi@542 | 28 |
|
ladanyi@542 | 29 |
install-data-local: html/index.html |
ladanyi@542 | 30 |
@$(NORMAL_INSTALL) |
ladanyi@542 | 31 |
$(mkinstalldirs) $(DESTDIR)$(htmldir) |
alpar@1072 | 32 |
@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \ |
ladanyi@542 | 33 |
f="`echo $$p | sed -e 's|^.*/||'`"; \ |
ladanyi@542 | 34 |
echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \ |
ladanyi@542 | 35 |
$(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \ |
ladanyi@542 | 36 |
done |
ladanyi@542 | 37 |
|
ladanyi@542 | 38 |
uninstall-local: html/index.html |
ladanyi@542 | 39 |
@$(NORMAL_UNINSTALL) |
alpar@1072 | 40 |
@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \ |
ladanyi@542 | 41 |
f="`echo $$p | sed -e 's|^.*/||'`"; \ |
ladanyi@542 | 42 |
echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
ladanyi@542 | 43 |
rm -f $(DESTDIR)$(htmldir)/$$f; \ |
ladanyi@542 | 44 |
done |