diff options
| -rw-r--r-- | doc/reference/mission-control-plugins/Makefile.am | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/doc/reference/mission-control-plugins/Makefile.am b/doc/reference/mission-control-plugins/Makefile.am index 061d1b77..62af48ba 100644 --- a/doc/reference/mission-control-plugins/Makefile.am +++ b/doc/reference/mission-control-plugins/Makefile.am @@ -145,14 +145,6 @@ check-local: echo "$$file missing from $(DOC_MODULE)-docs.sgml"; \ err=1; \ fi; \ - done; \ - case $(ENABLE_DOC_CHECKS)/$$err in \ - (yes/1) \ - echo "Documentation check failed" >&2; \ - exit $$err; \ - ;; \ - (*) \ - exit 0; \ - ;; \ - esac + done endif ++# ... but don't fail on incomplete documentation, this is a stable branch |