commit: 37415c314cd0bbbc07f7f43b3364abed2cb641d3
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Tue Feb 11 11:26:52 2020 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Tue Feb 11 11:26:52 2020 +0000
URL: https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=37415c31
Makefile: Remove quirks necessary for installing in-place.
Now that infra installs into a separate target directory, we no longer
need atomicity during the build. Remove the delete-old rule as well,
which was intended for the same purpose.
Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>
Makefile | 14 +++-----------
1 file changed, 3 insertions(+), 11 deletions(-)
diff --git a/Makefile b/Makefile
index d8e3547..b93a85e 100644
--- a/Makefile
+++ b/Makefile
@@ -41,8 +41,7 @@ build: $(HTMLS) $(IMAGES)
# document in devmanual gets a unique ID, which is used to
# quickly tie search matches to the corresponding documents.
documents.js: bin/build_search_documents.py $(XMLS)
- ./bin/build_search_documents.py $(XMLS) > _documents.js
- mv _documents.js documents.js
+ ./bin/build_search_documents.py $(XMLS) > $@
%.png : %.svg
rsvg-convert --output=$@ $<
@@ -89,14 +88,7 @@ tidy: $(HTMLS) $(ECLASS_HTMLS)
test $${status} -eq 0 && echo "tidy validation successful"; \
exit $${status}
-# Delete any orphaned html and image files that could be left over
-# after the corresponding source file was moved or removed.
-delete-old:
- @-rm -f $(filter-out $(HTMLS) $(ECLASS_HTMLS) $(IMAGES), \
- $(filter %/index.html %.png,$(ALL_FILES)))
- @find . ! -path './.git*' -type d -empty -delete
-
clean:
- @rm -f $(HTMLS) $(IMAGES) _documents.js documents.js
+ @rm -f $(HTMLS) $(IMAGES) documents.js
-.PHONY: all prereq build install validate tidy delete-old clean
+.PHONY: all prereq build install validate tidy clean
