From c0ba300887e44e507a0d1a7e5d642820d76f883f Mon Sep 17 00:00:00 2001
From: barras
Date: Wed, 10 Apr 2002 09:37:16 +0000
Subject: package camlindent inutilise

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2624 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/newsyntax.tex | 1 -
 1 file changed, 1 deletion(-)

(limited to 'doc')

diff --git a/doc/newsyntax.tex b/doc/newsyntax.tex
index a85a1fe377..0e2c096f59 100644
--- a/doc/newsyntax.tex
+++ b/doc/newsyntax.tex
@@ -4,7 +4,6 @@
 \documentclass{article}
 
 \usepackage{verbatim}
-\usepackage{camlindent}
 \usepackage[T1]{fontenc}
 \usepackage[latin1]{inputenc}
 \usepackage[french]{babel}
-- 
cgit v1.2.3