diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 485324fc79..f0d960efe7 100644 --- a/Makefile.am +++ b/Makefile.am @@ -236,8 +236,9 @@ dist-rpm: dist-gzip echo "RPM build finished"; \ #end of dist-rpm -doxygen: - doxygen && cd doc/doxygen/latex && make +.PHONY: doxygen +doxygen: Doxyfile + doxygen test: all $(top_builddir)/src/test/test |