Index: trunk/dvodist/www-util/dvodist.page.mkd
===================================================================
--- trunk/dvodist/www-util/dvodist.page.mkd	(revision 40053)
+++ trunk/dvodist/www-util/dvodist.page.mkd	(revision 40737)
@@ -20,5 +20,5 @@
 menu("$utils/dvodist.menu.dat", 'DVO Distribution Server', $rootdir, "$rootdir/ipp.css", '', '');
 
-$script = basename($_SERVER[SCRIPT_NAME]);
+$script = basename($_SERVER['SCRIPT_NAME']);
 do_markdown ($script, $rootdir);