Merge new Disobedience manual

[disorder] / Makefile.am

diff --git a/Makefile.am b/Makefile.am
index 71fd269927b8e1ea678977fb8a51a51ad571e381..501f344842485420a9bf423a10ba47a6b8131e28 100644 (file)
--- a/Makefile.am
+++ b/Makefile.am
@@ -25,7 +25,7 @@ DISTCHECK_CONFIGURE_FLAGS:=httpdir=$(distdir)/_inst/httpdir cgiexecdir=$(shell p
 check-report: before-check check make-coverage-reports
 before-check:
        rm -f */*.gcda */*.gcov
-make-coverage-reports:
+make-coverage-reports: check
        @for subdir in lib plugins server clients disobedience; do \
          echo cd $$subdir;\
          cd $$subdir;\
@@ -35,6 +35,11 @@ make-coverage-reports:
          cd ..;\
        done
 
+clean-gcov:
+       rm -f */index.html
+       rm -f */*.c.html
+       rm -f */*.gcov
+
 echo-distdir:
        @echo $(distdir)