From 33383866830a3d3f90fd078aa87fda755dc1c41e Mon Sep 17 00:00:00 2001 From: Lee Daniel Crocker Date: Mon, 28 Apr 2003 18:14:48 +0000 Subject: [PATCH] Install script bug. --- install.php | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/install.php b/install.php index 25c18ae38b..d79578b017 100644 --- a/install.php +++ b/install.php @@ -10,16 +10,16 @@ if ( ! ( is_readable( "./LocalSettings.php" ) "source directory before running this install script.\n"; exit(); } -if ( $wgUseTeX && ( ! is_executable( "./math/texvc" ) ) ) { - print "To use math functions, you must first compile texvc by\n" . - "running \"make\" in the math directory.\n"; - exit(); -} $DP = "./includes"; include_once( "./LocalSettings.php" ); include_once( "./AdminSettings.php" ); +if ( $wgUseTeX && ( ! is_executable( "./math/texvc" ) ) ) { + print "To use math functions, you must first compile texvc by\n" . + "running \"make\" in the math directory.\n"; + exit(); +} if ( is_file( "{$IP}/Version.php" ) ) { print "There appears to be an installation of the software\n" . "already present on \"{$IP}\". You may want to run the update\n" . -- 2.20.1