From db1f1d0c2d406c18b2ef26212c261158fac26017 Mon Sep 17 00:00:00 2001
From: Steven Armstrong <steven@icarus.ethz.ch>
Date: Thu, 31 Mar 2011 20:46:58 +0200
Subject: [PATCH] remove leftovers from experimenting with process group
 control

Signed-off-by: Steven Armstrong <steven@icarus.ethz.ch>
---
 build.sh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/build.sh b/build.sh
index 7fbb94cc..ab62287e 100755
--- a/build.sh
+++ b/build.sh
@@ -58,8 +58,7 @@ case "$1" in
             manpage="${src%.text}.$section"
             if [ ! -f "$manpage" -o "$manpage" -ot "$src" ]; then
                echo "Compiling manpage for $src"
-               setsid $A2XM "$src"
-               a2x_pids=""
+               $A2XM "$src"
             fi
             htmlpage="${src%.text}.html"
             if [ ! -f "$htmlpage" -o "$htmlpage" -ot "$src" ]; then