equal
deleted
inserted
replaced
46 -rm -f doc/doxygen.log |
46 -rm -f doc/doxygen.log |
47 |
47 |
48 doc/html: |
48 doc/html: |
49 $(MAKE) $(AM_MAKEFLAGS) doc-clean |
49 $(MAKE) $(AM_MAKEFLAGS) doc-clean |
50 |
50 |
|
51 if WANT_DOC |
|
52 |
51 install-data-local: doc/html |
53 install-data-local: doc/html |
52 @$(NORMAL_INSTALL) |
54 @$(NORMAL_INSTALL) |
53 $(mkinstalldirs) $(DESTDIR)$(htmldir) |
55 $(mkinstalldirs) $(DESTDIR)$(htmldir) |
54 @dir='doc/html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.gif $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \ |
56 @dir='doc/html'; shopt -s nullglob; for p in $$dir/*.html $$dir/*.css $$dir/*.png $$dir/*.gif $$dir/*.dot $$dir/*.php $$dir/*.idx $$dir/*.tag ; do \ |
55 f="`echo $$p | sed -e 's|^.*/||'`"; \ |
57 f="`echo $$p | sed -e 's|^.*/||'`"; \ |
63 f="`echo $$p | sed -e 's|^.*/||'`"; \ |
65 f="`echo $$p | sed -e 's|^.*/||'`"; \ |
64 echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
66 echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \ |
65 rm -f $(DESTDIR)$(htmldir)/$$f; \ |
67 rm -f $(DESTDIR)$(htmldir)/$$f; \ |
66 done |
68 done |
67 |
69 |
|
70 endif WANT_DOC |
|
71 |
68 .PHONY: doc doc-clean |
72 .PHONY: doc doc-clean |