From 91052dfc0d9e23b2baf499f6c5aab21b1544a236 Mon Sep 17 00:00:00 2001 From: Trygve Laugstøl Date: Sat, 26 Oct 2013 19:31:49 +0200 Subject: o Adding a man page on internals. --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 49a1896..edf76c8 100644 --- a/Makefile +++ b/Makefile @@ -18,11 +18,11 @@ test: $(TESTS) .PHONY: test clean: - @make -C docs clean + @make -s -C docs clean .PHONY: clean docs: - @make -C docs + @make -s -C docs .PHONY: docs define set_header -- cgit v1.2.3