diff options
author | Nick Mathewson <nickm@torproject.org> | 2023-11-11 19:43:15 -0500 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2023-11-11 19:43:21 -0500 |
commit | 915e109d22696afd61da90a16f107210090965c7 (patch) | |
tree | 10fec6e9955c1083afb8a1dff797f52b51b3ad2d /bin | |
parent | 02b2f51fa802ca5d8e2d9d2ed71ee58d953fa488 (diff) | |
download | torspec-915e109d22696afd61da90a16f107210090965c7.tar.gz torspec-915e109d22696afd61da90a16f107210090965c7.zip |
build_html: use mv, not cp
This is a bit faster, and likelier to work on more shells.
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/build_html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/build_html b/bin/build_html index 67fc067..069901e 100755 --- a/bin/build_html +++ b/bin/build_html @@ -85,6 +85,6 @@ if test -n "${MDBOOK_OUTPUT_DIR}"; then fi rm -rf "${TOPLEVEL}/html/" -cp -r "${TOPLEVEL}/build/spec/html/" "${TOPLEVEL}" -cp -r "${TOPLEVEL}/build/proposals/html/" "${TOPLEVEL}/html/proposals/" +mv "${TOPLEVEL}/build/spec/html" "${TOPLEVEL}/html" +mv "${TOPLEVEL}/build/proposals/html" "${TOPLEVEL}/html/proposals" |