]> gitweb.factorcode.org Git - factor.git/commitdiff
add missing file
authorSlava Pestov <slava@factorcode.org>
Sun, 4 Sep 2005 02:50:44 +0000 (02:50 +0000)
committerSlava Pestov <slava@factorcode.org>
Sun, 4 Sep 2005 02:50:44 +0000 (02:50 +0000)
doc/makeglos [new file with mode: 0755]

diff --git a/doc/makeglos b/doc/makeglos
new file mode 100755 (executable)
index 0000000..00723d0
--- /dev/null
@@ -0,0 +1,2 @@
+#!/bin/sh
+makeindex -s $1.ist -t $1.glg -o $1.gls $1.glo