commit: b70366b239ca21dda65c928df8963bd115ebdd98
Author: Göktürk Yüksek <gokturk <AT> gentoo <DOT> org>
AuthorDate: Thu Dec 19 00:00:53 2019 +0000
Commit: Göktürk Yüksek <gokturk <AT> gentoo <DOT> org>
CommitDate: Thu Dec 19 20:57:49 2019 +0000
URL: https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=b70366b2
Makefile: do not blindly overwrite documents.js
In case search_index.py fails, it will truncate documents.js. Create
documents in a separate file and atomically move it upon completion.
Suggested-by: Robin H. Johnson <robbat2 <AT> gentoo.org>
Signed-off-by: Göktürk Yüksek <gokturk <AT> gentoo.org>
.gitignore | 1 +
Makefile | 5 +++--
2 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/.gitignore b/.gitignore
index ce644c7..5413cdc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,5 @@
*.html
*.png
+_documents.js
documents.js
eclass-reference/
diff --git a/Makefile b/Makefile
index 90990a8..4e591ac 100644
--- a/Makefile
+++ b/Makefile
@@ -23,7 +23,8 @@ prereq:
# updating it, we pass it the names of ALL prerequisites ($^) and not
# just the names of the ones that are new ($?).
documents.js: $(XMLS)
- ./search_index.py $^ > documents.js
+ ./search_index.py $^ > _documents.js
+ mv _documents.js documents.js
%.png : %.svg
convert $< $@
@@ -48,6 +49,6 @@ validate: prereq
&& echo "xmllint validation successful"
clean:
- rm -f $(HTMLS) $(IMAGES) documents.js
+ rm -f $(HTMLS) $(IMAGES) _documents.js documents.js
.PHONY: all prereq validate clean
