From fdd6ac5a6c04231db7c1fa3ccd51f7156b0f52bb Mon Sep 17 00:00:00 2001 From: Ben Ranker Date: Sun, 16 Aug 2015 12:58:06 -0400 Subject: [PATCH] Don't make docs by default Docs require checkout and manual install of a tool provided by the original author. It looks simple, but I don't really want to get into it. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 013a96416..244732acd 100644 --- a/Makefile +++ b/Makefile @@ -1,4 +1,4 @@ -all: c doc +all: c c: .always make -C c install doc: .always