From 6019b688884901ee2a51fb0d1b4318b259c99bfc Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Mon, 5 May 2014 14:01:22 +0000
Subject: Update Coq documentation

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2483 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 9ab503b..9cad0e8 100644
--- a/Makefile
+++ b/Makefile
@@ -194,7 +194,7 @@ documentation: doc/coq2html $(FILES)
 	mkdir -p doc/html
 	rm -f doc/html/*.html
 	doc/coq2html -o 'doc/html/%.html' doc/*.glob \
-          $(filter-out doc/coq2html, $^)
+          $(filter-out doc/coq2html cparser/Parser.v, $^)
 	cp doc/coq2html.css doc/coq2html.js doc/html/
 
 doc/coq2html: doc/coq2html.ml
-- 
cgit v1.2.3