From 0806acf4d85a0b3719f447c92c63771ad7cd4e89 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 2 Oct 2018 14:19:14 +0200
Subject: [dune] Fix PHONY target in Dune's helper makefile.

---
 Makefile.dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.dune')

diff --git a/Makefile.dune b/Makefile.dune
index 1e401a57b9..d8e4f3aee0 100644
--- a/Makefile.dune
+++ b/Makefile.dune
@@ -1,7 +1,7 @@
 # -*- mode: makefile -*-
 # Dune Makefile for Coq
 
-.PHONY: help voboot states world apidoc
+.PHONY: help voboot states world watch release apidoc clean
 
 # use DUNEOPT=--display=short for a more verbose build
 # DUNEOPT=--display=short
-- 
cgit v1.2.3