File MLRISC.diff of Package smlnj
--- Doc/html/mltex2html +++ 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. #
--- Doc/html/mltex2html +++ 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. #