diff options
| author | Stephen Sinclair <radarsat1@gmail.com> | 2016-02-10 11:39:44 -0300 |
|---|---|---|
| committer | Stephen Sinclair <radarsat1@gmail.com> | 2016-02-10 11:39:44 -0300 |
| commit | 58f85d4372c6efbf8974904ed3a5f428248dfdfb (patch) | |
| tree | 89f5c8ce42189645c06538e4e286d188638f2296 /doc | |
| parent | 67049ae194284bbc6771e9e1cdc4912082558e07 (diff) | |
Force doxygen to run before making dist.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 6a52d94..b670116 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -9,7 +9,7 @@ EXTRA_DIST=html INSTIMAGES=html/doxygen.png -DOC_STAMPS=html-build.stamp +DOC_STAMPS=doxygen-build.stamp DOC_DIR=$(HTML_DIR) @@ -29,3 +29,5 @@ clean-local: distclean-local: clean rm -f *.stamp || true if test -d html; then rm -rf html; fi + +html-local: $(DOC_STAMPS) |