Index: Makefile.in
===================================================================
diff -u -r737566422019b19eddca6e2ab1758019cad02633 -r033cfdaac4e149a7c26863adfacc33020ae3d864
--- Makefile.in	(.../Makefile.in)	(revision 737566422019b19eddca6e2ab1758019cad02633)
+++ Makefile.in	(.../Makefile.in)	(revision 033cfdaac4e149a7c26863adfacc33020ae3d864)
@@ -302,7 +302,7 @@
 #doc: $(xotcl_target_doc_dir)/langRef-xotcl.html
 
 # for now, just the two doc files
-doc: man
+doc:
 	(cd $(src_doc_dir); asciidoc next-migration.txt)
 	(cd $(src_doc_dir)/next-tutorial; asciidoc next-tutorial.txt)
 pdfdoc: 
@@ -330,22 +330,29 @@
 	$(src_doc_dir)/current.man \
 	$(src_doc_dir)/next.man
 
-man : man-html man-nroff
+man : man-html man-nroff man-pdf
 
-man-html : $(NX_MAN)
-	@for m in $(^F) ; do \
+man-html : $(NX_MAN:%.man=%.html)
+$(src_doc_dir)/%.html : $(src_doc_dir)/%.man
+	@for m in $(?F) ; do \
 	    echo "    Generating html manpage from $$m" ; \
             (cd $(src_doc_dir); dtplite -style man.css -o . html $$m) ; \
 	done;
 
-man-nroff : $(NX_MAN)
-	@for m in $(^F) ; do \
+man-nroff : $(NX_MAN:%.man=%.n)
+$(src_doc_dir)/%.n : $(src_doc_dir)/%.man
+	@for m in $(?F) ; do \
 	    echo "    Generating nroff manpage from $$m" ; \
             (cd $(src_doc_dir); dtplite -ext n -o . nroff $$m) ; \
 	done;
 
+man-pdf: $(NX_MAN:%.man=%.pdf)
+$(src_doc_dir)/%.pdf : $(src_doc_dir)/%.html
+	@for m in $(?F) ; do \
+	    echo "    Generating pdf manpage for $$m" ; \
+            (cd $(src_doc_dir); prince -s man-princexml.css $$m) ; \
+	done;
 
-
 install: install-binaries install-shells install-libraries install-doc install-xotcl-shells install-xotcl-libraries
 	@if test ! "x$(subdirs)" = "x" ; then dirs="$(subdirs)" ; \
 	for dir in $$dirs ; do \
Index: doc/man-princexml.css
===================================================================
diff -u
--- doc/man-princexml.css	(revision 0)
+++ doc/man-princexml.css	(revision 033cfdaac4e149a7c26863adfacc33020ae3d864)
@@ -0,0 +1,19 @@
+@page {
+    size: A4;
+    /* DIV 15 for A4 paper */
+    margin: 19.80mm 14mm;
+    @top { 
+	font-family: "Arial","Verdana", sans-serif;
+	color: #666;
+	font-size: 80%;
+	content: string(chapter-title) 
+    }
+    @bottom {
+	font-family: "Arial","Verdana", sans-serif;
+	font-size: 80%;
+	color: #666;
+        content: "-  " counter(page) "  -"
+    }
+}
+
+h2 { string-set: chapter-title content() }
\ No newline at end of file