X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2Fdoc%2FMakefile;h=b7d8fb45cfdf520bd50cd5c895702f4b2f16747e;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=4db53fdf05e25bf53ae9a9be00309de06e28bfb3;hpb=79b5120994ea0d65dd5052ad4c8f7bb51d9d0875;p=helm.git

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