Index: trunk/man/mllex.1
===================================================================
--- trunk.orig/man/mllex.1	2008-02-23 00:39:27.000000000 +0100
+++ trunk/man/mllex.1	2008-02-23 00:40:20.164892999 +0100
@@ -9,7 +9,7 @@
 output in \fBfoo.lex.sml\fP a lexer written in SML.
 
 For details on the lexer specification, see \fBA Lexical Analyzer Generator for
-Standard ML\fP, which is in \fB/usr/share/doc/mllex.ps.gz\fP.
+Standard ML\fP, which is in \fB/usr/share/doc/mllex.pdf\fP.
 
 .SH "SEE ALSO"
 
Index: trunk/man/mlyacc.1
===================================================================
--- trunk.orig/man/mlyacc.1	2008-02-23 00:39:27.000000000 +0100
+++ trunk/man/mlyacc.1	2008-02-23 00:40:10.622951875 +0100
@@ -9,7 +9,7 @@
 output in \fBfoo.grm.sig\fP and \fBfoo.grm.sml\fP a parser written in SML.
 
 For details on the parser specification, see the \fBML-Yacc User's Manual\fP,
-which is in \fB/usr/share/doc/mlyacc.ps.gz\fP.
+which is in \fB/usr/share/doc/mlyacc.pdf\fP.
 
 .SH "SEE ALSO"