author | hegyi |
Thu, 24 Feb 2005 14:44:17 +0000 | |
changeset 1174 | 5dccf1916ed8 |
parent 614 | 75cf1d52eee5 |
child 1177 | e41c2907fb49 |
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 |
|
alpar@614 | 8 |
EXTRA_DIST = Doxyfile html coding_style.dox groups.dox mainpage.dox maps.dox |
ladanyi@542 | 9 |
|
ladanyi@562 | 10 |
## all-local: html/index.html |
ladanyi@542 | 11 |
|
ladanyi@542 | 12 |
## TODO: 'html/index.html' should depend on the files listed in Doxyfile's |
ladanyi@542 | 13 |
## INPUT variable. |
ladanyi@542 | 14 |
html/index.html: Doxyfile |
ladanyi@542 | 15 |
-rm -rf html |
ladanyi@542 | 16 |
doxygen Doxyfile |
ladanyi@542 | 17 |
|
ladanyi@542 | 18 |
## This is needed to make 'make dist' work even if the 'html' subdirectory |
ladanyi@542 | 19 |
## does not exist. |
ladanyi@542 | 20 |
html: html/index.html |
ladanyi@542 | 21 |
|
ladanyi@542 | 22 |
clean-local: |
ladanyi@542 | 23 |
-rm -rf html |
ladanyi@542 | 24 |
|
ladanyi@542 | 25 |
install-data-local: html/index.html |
ladanyi@542 | 26 |
@$(NORMAL_INSTALL) |
ladanyi@542 | 27 |
$(mkinstalldirs) $(DESTDIR)$(htmldir) |
alpar@1072 | 28 |
@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \ |
ladanyi@542 | 29 |
f="`echo $$p | sed -e 's|^.*/||'`"; \ |
ladanyi@542 | 30 |
echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \ |
ladanyi@542 | 31 |
$(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \ |
ladanyi@542 | 32 |
done |
ladanyi@542 | 33 |
|
ladanyi@542 | 34 |
uninstall-local: html/index.html |
ladanyi@542 | 35 |
@$(NORMAL_UNINSTALL) |
alpar@1072 | 36 |
@dir='$(<D)'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.dot $$dir/*.php $$dir/*.idx ; do \ |
ladanyi@542 | 37 |
f="`echo $$p | sed -e 's|^.*/||'`"; \ |
ladanyi@542 | 38 |
echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
ladanyi@542 | 39 |
rm -f $(DESTDIR)$(htmldir)/$$f; \ |
ladanyi@542 | 40 |
done |