From 7003b3d13a543bea545f3ace0024fe0a9fd47f05 Mon Sep 17 00:00:00 2001 From: Manuel Ebert Date: Thu, 9 Mar 2017 12:09:05 -0800 Subject: [PATCH] Updated docs from master --- Makefile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/Makefile b/Makefile index 56eb4598..49982715 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,5 @@ +.PHONY: clean docs + # A Makefile for commands I run frequently: clean: