From 394b5da71be4dc82e484a298d749730b073933d0 Mon Sep 17 00:00:00 2001
From: Slava Pestov <slava@factorcode.org>
Date: Sun, 4 Sep 2005 02:50:44 +0000
Subject: [PATCH] add missing file

---
 doc/makeglos | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100755 doc/makeglos

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