diff options
| -rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 0b2eae3..fdb1ef9 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -14,6 +14,8 @@ endif EXTRA_DIST = mainpage.dox reference.doxygen.in $(man_MANS) +all: docs + %.3: make docs |