From 10f4e87cca4f83700c9b6a8acffc081de66dc164 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Thu, 19 Aug 1999 08:17:17 +0000
Subject: mise en place programmation literaire (generation de doc/coq.tex)

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 0407fd12bf..b11d9b0c7b 100644
--- a/Makefile
+++ b/Makefile
@@ -35,6 +35,14 @@ OBJS=$(CONFIG) $(LIB) $(KERNEL)
 
 world: $(OBJS)
 
+MLI=$(OBJS:.cmo=.mli)
+LPFILES=doc/macros.tex $(MLI)
+lp: doc/coq.ps
+doc/coq.ps: doc/coq.tex
+	cd doc; make coq.ps
+doc/coq.tex: $(LPFILES)
+	ocamlweb -o doc/coq.tex $(LPFILES)
+
 # Default rules
 
 .SUFFIXES: .ml .mli .cmo .cmi .cmx
-- 
cgit v1.2.3