diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -17,6 +17,10 @@ show-tests: test: $(TESTS) .PHONY: test +clean: + @make -C docs clean +.PHONY: clean + docs: @make -C docs .PHONY: docs |