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 = html mainpage.dox getstart.dox quicktour.dox \ |
8 EXTRA_DIST = html icons 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 graph-adaptors.dox |
11 developers_interface.dox graph_io.dox dirs.dox graph-adaptors.dox |
12 |
12 |
13 |
13 |
14 ## all-local: html/index.html |
14 ## all-local: html/index.html |
15 |
15 |