diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/setup | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/setup b/tools/setup index a8d98252..518b6520 100755 --- a/tools/setup +++ b/tools/setup | |||
| @@ -47,8 +47,8 @@ else | |||
| 47 | fi | 47 | fi |
| 48 | 48 | ||
| 49 | if [ $docbook = 1 ] ; then | 49 | if [ $docbook = 1 ] ; then |
| 50 | cd doc && make | 50 | ( cd doc && make ) |
| 51 | fi | 51 | fi |
| 52 | 52 | ||
| 53 | # Untar libtap | 53 | # Untar libtap |
| 54 | cd external && tar --gzip -xf tap-1.01-altinity.tar.gz | 54 | ( cd external && tar --gzip -xf tap-1.01-altinity.tar.gz ) |