Page MenuHomeSoftware Heritage

D7738.id27986.diff
No OneTemporary

D7738.id27986.diff

diff --git a/Makefile b/Makefile
--- a/Makefile
+++ b/Makefile
@@ -30,13 +30,13 @@
make -C $* test
docs/%:
- make -C $*/docs
+ if test -e $*/docs/Makefile; then make -C $*/docs; fi
docs-assets/%:
- make -C $*/docs assets
+ if test -e $*/docs/Makefile; then make -C $*/docs assets; fi
docs-apidoc/%:
- make -C $*/docs apidoc
+ if test -e $*/docs/Makefile; then make -C $*/docs apidoc; fi
docs-clean/%:
- make -C $*/docs clean
+ if test -e $*/docs/Makefile; then make -C $*/docs clean; fi
.PHONY: update clean
update:

File Metadata

Mime Type
text/plain
Expires
Sun, Aug 17, 9:05 PM (1 d, 1 h ago)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
3222187

Event Timeline