diff options
author | isaacs <i@izs.me> | 2014-02-26 03:01:26 +0400 |
---|---|---|
committer | isaacs <i@izs.me> | 2014-02-26 03:05:58 +0400 |
commit | 94c466066f616c5e247a731acbac8048a5b61e81 (patch) | |
tree | 8b52d645ca5101cecb86427b0abaa7d0e7b78690 /scripts | |
parent | e95b5aa0f3d33514de462ab7fa502d72942d1fce (diff) |
Move toc.js script into a file
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/doc-build.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/doc-build.sh b/scripts/doc-build.sh index 4ca97322e..849ffce3f 100755 --- a/scripts/doc-build.sh +++ b/scripts/doc-build.sh @@ -73,8 +73,7 @@ case $dest in else cat fi) \ - > $dest \ - && cat html/docfoot-script.html >> $dest + > $dest exit $? ;; *) |