Commit 52f825d2 authored by rrt's avatar rrt
Browse files

[project @ 2001-09-24 16:25:29 by rrt]

Updates and fixes for 5.02 release.

PLEASE MERGE.
parent 639b1fe0
......@@ -10,3 +10,7 @@ that this "laying on of hands" is unnecessary.
5. (cd docs/building && make building.ps && ps2pdf building.ps building.pdf)
6. (cd ghc/docs/set && make set.ps && ps2pdf set.ps set.pdf)
7. Make License and ANNOUNCE into RTF (or just rename as RTF?).
It also seems necessary to run jadetex once more on the docs before
turning them into PS. The docs are built correctly under Linux, so I'm
not sure what goes wrong here.
\ No newline at end of file
This diff is collapsed.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment