--- doc/manualindex.orig	2018-11-01 16:56:12.000000000 -0600
+++ doc/manualindex	2019-01-24 15:29:17.825867480 -0700
@@ -9,31 +9,31 @@ makeindex -l $1.idl
 
 # put hyphenation help into long commands
 echo "Hyphenating long index entries"
-echo '{a=index($0,"`");\
-    if (a==0) {print $0;}\
-    else {\
-      b=index($0,"'"'"'");\
-      if (b-a>40) {\
-	anf=substr($0,1,a);\
-	mid=substr($0,a+1,b-a-1);\
-	end=substr($0,b);\
-	b=length(mid);\
-	i=1;\
-	cap=1;\
-	mid2=substr(mid,1,i-1);\
-	while (i<=length(mid)) {\
-	  c=substr(mid,i,1);\
-	  if (c!=tolower(c)){\
-	    if (cap==0) mid2 = mid2 "\\\-";\
-	    cap=1;\
-	  }\
-	  else cap=0;\
-	  mid2=mid2 c;\
-	  i=i+1;\
-	}\
-	print anf mid2 end;\
-      }\
-      else print $0;\
+echo '{a=index($0,"`");
+    if (a==0) {print $0;}
+    else {
+      b=index($0,"'"'"'");
+      if (b-a>40) {
+	anf=substr($0,1,a);
+	mid=substr($0,a+1,b-a-1);
+	end=substr($0,b);
+	b=length(mid);
+	i=1;
+	cap=1;
+	mid2=substr(mid,1,i-1);
+	while (i<=length(mid)) {
+	  c=substr(mid,i,1);
+	  if (c!=tolower(c)){
+	    if (cap==0) mid2 = mid2 "\\-";
+	    cap=1;
+	  }
+	  else cap=0;
+	  mid2=mid2 c;
+	  i=i+1;
+	}
+	print anf mid2 end;
+      }
+      else print $0;
     }
   }' >mh.awk
 cp $1.ind $1.idl