| author | athos | 
| Thu, 06 May 2004 15:47:42 +0000 | |
| changeset 554 | 2d27cbaa982d | 
| child 562 | 0ed29fe9d071 | 
| 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@542 | 8  | 
EXTRA_DIST = Doxyfile html  | 
| ladanyi@542 | 9  | 
|
| ladanyi@542 | 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)  | 
| ladanyi@542 | 28  | 
@dir='$(<D)'; 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)  | 
| ladanyi@542 | 36  | 
@dir='$(<D)'; 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  |