From d61714f2c250ec43b51ec5a2a4f17ee47609d7f5 Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Wed, 26 Oct 2005 10:18:52 +0000
Subject: [PATCH] improved Makefile

---
 helm/ocaml/cic_notation/doc/Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

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) \
-- 
2.39.2