MLRISC.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.
 #
Accepting request 858803 from home:avindra Correct rev OBS-URL: https://build.opensuse.org/request/show/858803 OBS-URL: https://build.opensuse.org/package/show/devel:tools:compiler/smlnj?expand=0&rev=12 2020-12-28 09:51:44 +00:00			`--- MLRISC/Doc/html/mltex2html`
			`+++ MLRISC/Doc/html/mltex2html 2004/05/14 21:15:54`
OBS-URL: https://build.opensuse.org/package/show/openSUSE:Factory/smlnj?expand=0&rev=1 2007-01-15 23:37:29 +00:00			`@@ -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.`
			`#`