Fix indentation

nicolasbock · nicolasbock · commit 35bf1c250aab · 2023-09-22T09:44:15.000-06:00
Signed-off-by: Nicolas Bock &lt;nicolasbock@gmail.com&gt;
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
 }
 

Original file line number	Diff line number	Diff line change
`@@ -281,7 +281,7 @@ docs() {`
`281`	`281`	`make -C "${BUILD_DIR}/docs/latex" 2>&1 \| tee -a "${LOG_FILE}"`
`282`	`282`	`check_pipe_error`
`283`	`283`	`if test -f "${BUILD_DIR}/docs/latex/refman.pdf"; then`
`284`		`- cp -v "${BUILD_DIR}/docs/latex/refman.pdf" "${TOP_DIR}/bml-manual.pdf"`
	`284`	`+ cp -v "${BUILD_DIR}/docs/latex/refman.pdf" "${TOP_DIR}/bml-manual.pdf"`
`285`	`285`	`fi`
`286`	`286`	`}`
`287`	`287`