*** empty log message ***

diff --git a/v7/doc/ref-manual/re-tex b/v7/doc/ref-manual/re-tex
index 3fba9b2a15786120e069165ccf5919bcbc37a605..fe7e3edaa567e73c0a4590dcf3e8895fc767f136 100755 (executable)
--- a/v7/doc/ref-manual/re-tex
+++ b/v7/doc/ref-manual/re-tex
@@ -1,22 +1,8 @@
 #!/bin/sh
 
-
 tex scheme.texinfo
-texindex scheme.cp
-texindex scheme.fn
-texindex scheme.ky
-texindex scheme.pg
-texindex scheme.tp
-texindex scheme.vr
-
+texindex scheme.cp scheme.fn scheme.ky scheme.pg scheme.tp scheme.vr
 tex scheme.texinfo
-texindex scheme.cp
-texindex scheme.fn
-texindex scheme.ky
-texindex scheme.pg
-texindex scheme.tp
-texindex scheme.vr
-
+texindex scheme.cp scheme.fn scheme.ky scheme.pg scheme.tp scheme.vr
 tex scheme.texinfo
-
 # hopefully by now all the references have reached their correct pages