*** empty log message ***
authorKai Grossjohann <kgrossjo@eu.uu.net>
Thu, 8 Aug 2002 15:37:35 +0000 (15:37 +0000)
committerKai Grossjohann <kgrossjo@eu.uu.net>
Thu, 8 Aug 2002 15:37:35 +0000 (15:37 +0000)
kai.sh [new file with mode: 0755]

diff --git a/kai.sh b/kai.sh
new file mode 100755 (executable)
index 0000000..692b212
--- /dev/null
+++ b/kai.sh
@@ -0,0 +1,5 @@
+#!/bin/sh
+make distclean
+./configure --with-url=$HOME/work/gnu/url/lisp \
+       --with-w3=$HOME/work/gnu/w3/lisp
+make