From e75cd30ff9fc61ce3de31c88645d9bb85128841c Mon Sep 17 00:00:00 2001
From: aspiwack
Date: Thu, 10 May 2012 14:51:33 +0000
Subject: Addedum to documentation of bullets: I now use the dedicated
 coq_example environment to display the example.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15295 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 Makefile.common | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index f109ae5738..68eb8de7e3 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -120,14 +120,14 @@ REFMANCOQTEXFILES:=$(addprefix doc/refman/, \
   RefMan-cic.v.tex RefMan-lib.v.tex \
   RefMan-tacex.v.tex RefMan-syn.v.tex \
   RefMan-oth.v.tex RefMan-ltac.v.tex \
-  RefMan-decl.v.tex \
+  RefMan-decl.v.tex RefMan-pro.v.tex \
   Cases.v.tex Coercion.v.tex Extraction.v.tex \
   Program.v.tex Omega.v.tex Micromega.v.tex Polynom.v.tex Nsatz.v.tex \
   Setoid.v.tex Helm.tex Classes.v.tex )
 
 REFMANTEXFILES:=$(addprefix doc/refman/, \
   headers.sty Reference-Manual.tex \
-  RefMan-pre.tex RefMan-int.tex RefMan-pro.tex RefMan-com.tex \
+  RefMan-pre.tex RefMan-int.tex RefMan-com.tex \
   RefMan-uti.tex RefMan-ide.tex RefMan-add.tex RefMan-modr.tex ) \
   $(REFMANCOQTEXFILES) \
 
-- 
cgit v1.2.3