From 13dcab5b8f40058b7597e51a44207c0745eab9fd Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 1 Aug 2017 16:46:37 +0200
Subject: Port ssr manual to Coq's latex/hevea style

Work done by Assia Mahboubi and Enrico Tassi
---
 Makefile.doc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.doc')

diff --git a/Makefile.doc b/Makefile.doc
index 1fed4ee7b..dd7717359 100644
--- a/Makefile.doc
+++ b/Makefile.doc
@@ -62,7 +62,7 @@ REFMANTEXFILES:=$(addprefix doc/refman/, \
   headers.sty Reference-Manual.tex \
   RefMan-pre.tex RefMan-int.tex RefMan-com.tex \
   RefMan-uti.tex RefMan-ide.tex RefMan-add.tex RefMan-modr.tex \
-  AsyncProofs.tex ) \
+  AsyncProofs.tex RefMan-ssr.tex) \
   $(REFMANCOQTEXFILES) \
 
 REFMANEPSFILES:=doc/refman/coqide.eps doc/refman/coqide-queries.eps
-- 
cgit v1.2.3