From: Karl Berry <karl@freefriends.org>
Date: Thu, 9 Jan 2003 13:17:27 +0000 (+0000)
Subject: include `dirname $0` in PATH, to find gnulib-tool.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=e1d70d2ba3a13a05cdafa04b4c09c3d9441141b9;p=pspp

include `dirname $0` in PATH, to find gnulib-tool.
---

diff --git a/MODULES.html.sh b/MODULES.html.sh
index 2b2e001d5d..d5597f0ec6 100755
--- a/MODULES.html.sh
+++ b/MODULES.html.sh
@@ -19,6 +19,8 @@
 
 # Usage: MODULES.html.sh > MODULES.html
 
+PATH=`dirname $0`:$PATH; export PATH
+
 sed_lt='s,<,\&lt;,g'
 sed_gt='s,>,\&gt;,g'
 sed_escape_dot='s,\.,\\.,g'