equal
deleted
inserted
replaced
6 ## htmldir = $(pkgdatadir)/doc |
6 ## htmldir = $(pkgdatadir)/doc |
7 |
7 |
8 EXTRA_DIST = 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 graph-adaptors.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 |