Fix indentation

Signed-off-by: Nicolas Bock <[email protected]>
lanl · Sep 22, 2023 · 35bf1c2 · 35bf1c2
1 parent d34b074
commit 35bf1c2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build.sh b/build.sh
@@ -281,7 +281,7 @@ docs() {
     make -C "${BUILD_DIR}/docs/latex" 2>&1 | tee -a "${LOG_FILE}"
     check_pipe_error
     if test -f "${BUILD_DIR}/docs/latex/refman.pdf"; then
-      cp -v "${BUILD_DIR}/docs/latex/refman.pdf" "${TOP_DIR}/bml-manual.pdf"
+        cp -v "${BUILD_DIR}/docs/latex/refman.pdf" "${TOP_DIR}/bml-manual.pdf"
     fi
 }