Files
smlnj/MLRISC.diff

9 lines
224 B
Diff

--- MLRISC/Doc/html/mltex2html
+++ MLRISC/Doc/html/mltex2html 2004/05/14 21:15:54
@@ -1,4 +1,4 @@
-#!/usr/local/bin/perl
+#!/usr/bin/perl
#
# This tool generates HTML pages in my own format given a stylized Latex file.
#