diff options
Diffstat (limited to 'bootstrap')
-rwxr-xr-x | bootstrap | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -90,7 +90,7 @@ check_libtool() | |||
90 | sphinx () | 90 | sphinx () |
91 | { | 91 | { |
92 | # Bootstrap Sphinx documentation | 92 | # Bootstrap Sphinx documentation |
93 | cd doc/sphinx; make man info ; cd - | 93 | cd doc/sphinx; make man info html >/dev/null; cd - |
94 | } | 94 | } |
95 | 95 | ||
96 | 96 | ||