COIN-OR::LEMON - Graph Library

source: lemon-main/doc/Makefile.am @ 87:81e138275860

Last change on this file since 87:81e138275860 was 56:9597aa501c7c, checked in by Alpar Juttner <alpar@…>, 17 years ago

'update-external-tags' make target added

It is used to dowload or update the doxygen external tag definition file
of libstdc++. After doing that, any usase of STL will be linked to their
documentations at http://gcc.gnu.org.

File size: 1.4 KB
Line 
1htmldir = $(datadir)/doc/$(PACKAGE)/html
2
3EXTRA_DIST += \
4        doc/Makefile \
5        doc/Doxyfile.in
6
7doc:
8        if test ${doxygen_found} = yes; then \
9          cd doc; \
10          doxygen Doxyfile; \
11          cd ..; \
12        fi
13
14doc-clean:
15        if test ${doxygen_found} = yes; then \
16          rm -rf doc/html; \
17          rm -f doc/doxygen.log; \
18          cd doc; \
19          doxygen Doxyfile; \
20          cd ..; \
21        fi
22
23clean-local:
24        -rm -rf doc/html
25        -rm -f doc/doxygen.log
26
27doc/html:
28        $(MAKE) $(AM_MAKEFLAGS) doc-clean
29
30update-external-tags:
31        wget -O doc/libstdc++.tag.tmp http://gcc.gnu.org/onlinedocs/libstdc++/latest-doxygen/libstdc++.tag && \
32        mv doc/libstdc++.tag.tmp doc/libstdc++.tag || \
33        rm doc/libstdc++.tag.tmp
34
35if WANT_DOC
36
37install-data-local: doc/html
38        @$(NORMAL_INSTALL)
39        $(mkinstalldirs) $(DESTDIR)$(htmldir)
40        @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 \
41          f="`echo $$p | sed -e 's|^.*/||'`"; \
42          echo " $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f"; \
43          $(INSTALL_DATA) $$p $(DESTDIR)$(htmldir)/$$f; \
44        done
45
46uninstall-local: doc/html
47        @$(NORMAL_UNINSTALL)
48        @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 \
49          f="`echo $$p | sed -e 's|^.*/||'`"; \
50          echo " rm -f $(DESTDIR)$(htmldir)/$$f"; \
51          rm -f $(DESTDIR)$(htmldir)/$$f; \
52        done
53
54endif WANT_DOC
55
56.PHONY: doc doc-clean
Note: See TracBrowser for help on using the repository browser.