diff options
| author | teor <teor@torproject.org> | 2019-04-09 11:36:12 +1000 |
|---|---|---|
| committer | teor <teor@torproject.org> | 2019-04-09 11:36:12 +1000 |
| commit | 2dab7a10780db1047bda4e18c2d308274744e806 (patch) | |
| tree | 20c0992382af3cdb3c656fcc267cd527502faedc /doc | |
| parent | 7741b21d0e3afbfc6d60a852fce6992724c4ae71 (diff) | |
| parent | 283ee0ba0a1540a9e8e8d68625d89315a5356162 (diff) | |
| download | tor-2dab7a10780db1047bda4e18c2d308274744e806.tar.gz tor-2dab7a10780db1047bda4e18c2d308274744e806.zip | |
Merge remote-tracking branch 'tor-github/pr/862'
Diffstat (limited to 'doc')
| -rwxr-xr-x | doc/asciidoc-helper.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/asciidoc-helper.sh b/doc/asciidoc-helper.sh index a3ef53f884..765850a125 100755 --- a/doc/asciidoc-helper.sh +++ b/doc/asciidoc-helper.sh @@ -19,7 +19,7 @@ if [ "$1" = "html" ]; then base=${output%%.html.in} if [ "$2" != none ]; then - TZ=UTC "$2" -d manpage -o $output $input; + TZ=UTC "$2" -d manpage -o "$output" "$input"; else echo "=================================="; echo; @@ -44,8 +44,8 @@ elif [ "$1" = "man" ]; then echo "=================================="; exit 1; fi - if "$2" -f manpage $input; then - mv $base.1 $output; + if "$2" -f manpage "$input"; then + mv "$base.1" "$output"; else cat<<EOF ================================== |