blob: 3b9c7648e0df8bf5862e2bf253970b1e9d34e7ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
#
# Run doxygen to generate HTML doc.
# 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
html: html.timestamp
html.timestamp:
doxygen user.doxygen
touch $@
clean-local:
rm -rf html html-dev html.timestamp
endif
|