From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 26 Oct 2005 10:18:52 +0000 (+0000)
Subject: improved Makefile
X-Git-Tag: V_0_7_2_3~181
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d61714f2c250ec43b51ec5a2a4f17ee47609d7f5;p=helm.git

improved Makefile
---

diff --git a/helm/ocaml/cic_notation/doc/Makefile b/helm/ocaml/cic_notation/doc/Makefile
index 4db53fdf0..b7d8fb45c 100644
--- a/helm/ocaml/cic_notation/doc/Makefile
+++ b/helm/ocaml/cic_notation/doc/Makefile
@@ -5,7 +5,7 @@
 # Author: Stefano Zacchiroli <zack@bononia.it>
 #
 # Created:       Sun, 29 Jun 2003 12:00:55 +0200 zack
-# Last-Modified: Tue, 05 Apr 2005 10:25:38 +0200 zack
+# Last-Modified: Mon, 10 Oct 2005 15:37:12 +0200 zack
 #
 
 ########################################################################
@@ -44,9 +44,10 @@ GZIP = gzip
 HEVEA = hevea
 ISPELL = ispell
 LATEX = latex
+PDFLATEX = pdflatex
+PRINT = lpr
 XDVI = xdvi
 XPDF = xpdf
-PDFLATEX = pdflatex
 
 ALL_FORMATS = $(BUILD_FORMATS)
 WORLD_FORMATS = $(AVAILABLE_FORMATS)
@@ -79,6 +80,9 @@ showps.gz: showpsgz
 showhtml: $(HTMLS)
 	$(BROWSER) $<
 
+print: $(PSS)
+	$(PRINT) $^
+
 clean:
 	rm -f \
 		$(TEXS:.tex=.dvi) $(TEXS:.tex=.ps) $(TEXS:.tex=.ps.gz) \