1 files changed, 10 insertions, 5 deletions
diff --git a/autogen.sh b/autogen.sh
index 1456d94b0e..b5c96882d9 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -1,7 +1,12 @@
 #!/bin/sh -e
 autoconf
-cd tools
-autoconf
-autoheader
-cd ../stubdom
-autoconf
+( cd tools
+  autoconf
+  autoheader
+)
+( cd stubdom
+  autoconf
+)
+( cd docs
+  autoconf
+)