equal
deleted
inserted
replaced
3 ## substituted in configure-time. |
3 ## substituted in configure-time. |
4 |
4 |
5 htmldir = $(datadir)/doc/@PACKAGE@-@VERSION@/html |
5 htmldir = $(datadir)/doc/@PACKAGE@-@VERSION@/html |
6 ## htmldir = $(pkgdatadir)/doc |
6 ## htmldir = $(pkgdatadir)/doc |
7 |
7 |
8 EXTRA_DIST = Doxyfile html mainpage.dox getstart.dox quicktour.dox \ |
8 EXTRA_DIST = html mainpage.dox getstart.dox quicktour.dox \ |
9 demoprograms.dox graphs.dox undir_graphs.dox named-param.dox \ |
9 demoprograms.dox graphs.dox undir_graphs.dox named-param.dox \ |
10 maps.dox coding_style.dox groups.dox namespaces.dox license.dox \ |
10 maps.dox coding_style.dox groups.dox namespaces.dox license.dox \ |
11 developers_interface.dox graph_io.dox dirs.dox gwrappers.dox |
11 developers_interface.dox graph_io.dox dirs.dox gwrappers.dox |
12 |
12 |
13 |
13 |
14 ## all-local: html/index.html |
14 ## all-local: html/index.html |
15 |
15 |
16 ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's |
16 ## TODO: 'html/index.html' should depend on the files listed in Doxyfile's |
17 ## INPUT variable. |
17 ## INPUT variable. |
18 html/index.html: Doxyfile |
18 html/index.html: |
19 -rm -rf html |
19 -rm -rf html |
20 doxygen Doxyfile |
20 doxygen Doxyfile |
21 |
21 |
22 ## This is needed to make 'make dist' work even if the 'html' subdirectory |
22 ## This is needed to make 'make dist' work even if the 'html' subdirectory |
23 ## does not exist. |
23 ## does not exist. |