From d7680ce1179af65d8ddbe536509c316afb4161be Mon Sep 17 00:00:00 2001 From: Chris Mayo Date: Tue, 1 Sep 2020 19:28:33 +0100 Subject: [PATCH] Don't clean man pages Allow make code to be used without make man. --- doc/Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/doc/Makefile b/doc/Makefile index ddb13253..9f53f88f 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -28,7 +28,6 @@ check: clean: rm -rf src/_build; \ rm -rf src/code/linkcheck; \ - rm -rf html; \ - rm -rf man + rm -rf html .PHONY: check clean html locale man