diff options
-rw-r--r-- | Makefile.am | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index beea69d95e..fc9f7b27ba 100644 --- a/Makefile.am +++ b/Makefile.am @@ -73,8 +73,6 @@ dist-rpm: dist-gzip echo "RPM build finished"; \ #end of dist-rpm -dist: check - doxygen: doxygen && cd doc/doxygen/latex && make |