From e4827b6ef44eb61ae1c598d5a4d46d30ef57580a Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Wed, 28 Feb 2018 08:55:28 +0100
Subject: Remove empty, wrongly located, doc file.

---
 parsing/doc.tex | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100644 parsing/doc.tex

(limited to 'parsing')

diff --git a/parsing/doc.tex b/parsing/doc.tex
deleted file mode 100644
index 68ab601cc..000000000
--- a/parsing/doc.tex
+++ /dev/null
@@ -1,9 +0,0 @@
-
-\newpage
-\section*{The Coq parsers and printers}
-
-\ocwsection \label{parsing}
-This chapter describes the implementation of the \Coq\ parsers and printers.
-
-\bigskip
-\begin{center}\epsfig{file=parsing.dep.ps}\end{center}
-- 
cgit v1.2.3