diff options
Diffstat (limited to 'cpp/docs/api')
| -rw-r--r-- | cpp/docs/api/Makefile.am | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/cpp/docs/api/Makefile.am b/cpp/docs/api/Makefile.am index 66169d5caf..63d48c323d 100644 --- a/cpp/docs/api/Makefile.am +++ b/cpp/docs/api/Makefile.am @@ -21,9 +21,6 @@ # Generate dependency files so its rebuilt only when needed. # -# TODO aconway 2007-04-12: html should have a -# dependency on source/header files. - if HAVE_DOXYGEN EXTRA_DIST = html user.doxygen developer.doxygen html.timestamp @@ -31,6 +28,7 @@ EXTRA_DIST = html user.doxygen developer.doxygen html.timestamp html: html.timestamp html.timestamp: + cp $(srcdir)/header.html $(srcdir)/footer.html . doxygen user.doxygen touch $@ |