Makefile: Add targets ptest-nodoc etc.

Author: Matthias Koeppe

Makefile

@@ -169,6 +169,7 @@ PTESTALL = ./sage -t -p --all
 # https://trac.sagemath.org/ticket/25345 and
 # https://trac.sagemath.org/ticket/26110.
 TESTALL_FLAGS = --optional=sage,dochtml,optional,external,build
+TESTALL_NODOC_FLAGS = --optional=sage,optional,external,build
 
 test: all
 	$(TESTALL) --logfile=logs/test.log
@@ -208,6 +209,44 @@ ptestoptional: all
 ptestoptionallong: all
 	$(PTESTALL) --long --logfile=logs/ptestoptionallong.log
 
+test-nodoc: build
+	$(TESTALL) --logfile=logs/test.log
+
+check-nodoc: test-nodoc
+
+testall-nodoc: build
+	$(TESTALL) $(TESTALL_NODOC_FLAGS) --logfile=logs/testall.log
+
+testlong-nodoc: build
+	$(TESTALL) --long --logfile=logs/testlong.log
+
+testalllong-nodoc: build
+	$(TESTALL) --long $(TESTALL_NODOC_FLAGS) --logfile=logs/testalllong.log
+
+ptest-nodoc: build
+	$(PTESTALL) --logfile=logs/ptest.log
+
+ptestall-nodoc: build
+	$(PTESTALL) $(TESTALL_NODOC_FLAGS) --logfile=logs/ptestall.log
+
+ptestlong-nodoc: build
+	$(PTESTALL) --long --logfile=logs/ptestlong.log
+
+ptestalllong-nodoc: build
+	$(PTESTALL) --long $(TESTALL_NODOC_FLAGS) --logfile=logs/ptestalllong.log
+
+testoptional-nodoc: build
+	$(TESTALL) --logfile=logs/testoptional.log
+
+testoptionallong-nodoc: build
+	$(TESTALL) --long --logfile=logs/testoptionallong.log
+
+ptestoptional-nodoc: build
+	$(PTESTALL) --logfile=logs/ptestoptional.log
+
+ptestoptionallong-nodoc: build
+	$(PTESTALL) --long --logfile=logs/ptestoptionallong.log
+
 configure: bootstrap src/doc/bootstrap configure.ac src/bin/sage-version.sh m4/*.m4 build/pkgs/*/spkg-configure.m4 build/pkgs/*/type build/pkgs/*.txt build/pkgs/*/distros/*.txt
 	./bootstrap -d