1 files changed, 1 insertions, 0 deletions

diff --git a/htindex b/htindex
index b3f88f1..4c0f03d 100755
--- a/htindex
+++ b/htindex
@@ -1,4 +1,5 @@
 #!/bin/rc -e
+rfork E
 
 # index -- add ids to headings and print index to stderr