Rename troc/groc to toc/gtoc

1 files changed, 31 insertions, 0 deletions

diff --git a/toc/toc b/toc/toc
new file mode 100755
index 0000000..2b21790
--- /dev/null
+++ b/toc/toc
@@ -0,0 +1,31 @@
+#!/bin/sh
+
+# toc -- run troff in three passes
+
+: ${TROFF:=troff}
+
+if [ ! -t 0 ]; then
+	f=`mktemp`
+	cat > $f
+	set -- "$@" $f
+fi
+
+if [ -z "$PIPE" ]; then
+	g=`mktemp`
+	h=`mktemp`
+
+	2>$g >/dev/null		$TROFF -rte=1 -rto=0 -E "$@"
+	<$g 2>$h >/dev/null	$TROFF -rte=1 -rto=1 -E "$@"
+	<$h			$TROFF -rte=0 -rto=1 "$@"
+	s=$?
+
+	rm $h $g
+else
+	$TROFF -rte=1 -rto=0 -zE "$@" 2>&1 |
+	$TROFF -rte=1 -rto=1 -zE "$@" 2>&1 |
+	$TROFF -rte=0 -rto=1 "$@"
+	s=$?
+fi
+
+[ ! -t 0 ] && rm $f
+exit $s