diff options
| author | Lars Wirzenius <liw@liw.fi> | 2013-06-13 08:14:19 +0100 |
|---|---|---|
| committer | Lars Wirzenius <liw@liw.fi> | 2013-06-13 08:14:19 +0100 |
| commit | 20f507162ccda864957d1aa81d450d369cbdb170 (patch) | |
| tree | 379021015e6552048f9f6b8d52375c99b163cad3 /publish-docs | |
| parent | 7570446bb78459c07ff965bfb0671b6d03469d4c (diff) | |
| download | jenkinstool-20f507162ccda864957d1aa81d450d369cbdb170.tar.gz | |
Remove trailing whitespace from lines
Diffstat (limited to 'publish-docs')
| -rwxr-xr-x | publish-docs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/publish-docs b/publish-docs index ab0622a..dc39eb3 100755 --- a/publish-docs +++ b/publish-docs @@ -6,7 +6,7 @@ build_docs() { local srcdir="$1" local log="$(mktemp)" - + set -eu cd "$srcdir"/doc if make dirhtml > "$log" 2>&1 |