diff -ur mlton-20051202~/Makefile mlton-20051202/Makefile
--- mlton-20051202~/Makefile	2005-11-30 22:27:06.000000000 -0500
+++ mlton-20051202/Makefile	2006-06-19 23:26:55.000000000 -0400
@@ -431,8 +431,8 @@
 		; do 							\
 		$(CP) $(SRC)/regression/$$f.sml $(TEXM)/; 		\
 	done
-	$(GZIP) -c $(LEX)/$(LEX).ps >$(TDOC)/$(LEX).ps.gz
-	$(GZIP) -c $(YACC)/$(YACC).ps >$(TDOC)/$(YACC).ps.gz
+	$(CP) $(LEX)/$(LEX).pdf $(TDOC)
+	$(CP) $(YACC)/$(YACC).pdf $(TDOC)
 	find $(TDOC)/ -name .svn -type d | xargs rm -rf
 	find $(TDOC)/ -name .ignore -type f | xargs rm -rf
 	find $(TEXM)/ -name .svn -type d | xargs rm -rf
diff -ur mlton-20051202~/mllex/Makefile mlton-20051202/mllex/Makefile
--- mlton-20051202~/mllex/Makefile	2005-10-11 16:47:54.000000000 -0400
+++ mlton-20051202/mllex/Makefile	2006-06-19 22:39:39.000000000 -0400
@@ -47,7 +47,7 @@
 	../bin/clean
 
 .PHONY: docs
-docs: mllex.ps
+docs: mllex.pdf
 
 .PHONY: test
 test: $(NAME)
diff -ur mlton-20051202~/mlyacc/doc/Makefile mlton-20051202/mlyacc/doc/Makefile
--- mlton-20051202~/mlyacc/doc/Makefile	2005-11-06 15:04:36.000000000 -0500
+++ mlton-20051202/mlyacc/doc/Makefile	2006-06-19 22:47:41.000000000 -0400
@@ -6,7 +6,7 @@
  # See the file MLton-LICENSE for details.
  ##
 
-all: mlyacc.ps
+all: mlyacc.pdf
 
 html/index.html: $(TEX_FILES)
 	mkdir -p html
diff -ur mlton-20051202~/mlyacc/Makefile mlton-20051202/mlyacc/Makefile
--- mlton-20051202~/mlyacc/Makefile	2005-10-11 16:48:34.000000000 -0400
+++ mlton-20051202/mlyacc/Makefile	2006-06-19 22:48:23.000000000 -0400
@@ -38,15 +38,21 @@
 doc/mlyacc.ps:
 	$(MAKE) -C doc mlyacc.ps
 
+doc/mlyacc.pdf:
+	$(MAKE) -C doc mlyacc.pdf
+
 mlyacc.ps: doc/mlyacc.ps
 	cp doc/mlyacc.ps .
 
+mlyacc.pdf: doc/mlyacc.pdf
+	cp doc/mlyacc.pdf .
+
 .PHONY: clean
 clean:
 	../bin/clean
 
 .PHONY: docs
-docs: mlyacc.ps
+docs: mlyacc.pdf
 
 .PHONY: test
 test: $(NAME)