diff options
| -rw-r--r-- | Documentation/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index ec1e1a4d35..6d2a64188f 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -31,8 +31,7 @@ livesphinx: $(BUILDDIR) test: @echo "Test for logging purposes - Failing tests will not fail the build" - -$(MAKE) -f Makefile.sphinx clean && $(MAKE) -K -f Makefile.sphinx html - -$(MAKE) -f Makefile.sphinx clean && $(MAKE) -K -f Makefile.sphinx doctest + -$(MAKE) -f Makefile.sphinx clean && $(MAKE) -k -f Makefile.sphinx html help: @echo "all - Builds all documentation targets" |