diff options
Diffstat (limited to 'site/BUILD')
-rw-r--r-- | site/BUILD | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/site/BUILD b/site/BUILD index 711c819947..7f290c70de 100644 --- a/site/BUILD +++ b/site/BUILD @@ -106,7 +106,11 @@ origdir=$$PWD tmpdir=$$(mktemp -d) for f in $(SRCS); do mkdir -p $$tmpdir/$$(dirname $$f) - $(location //scripts/docs:generate_dot_graphs) < $$f > $$tmpdir/$$f + if which dot; then + $(location //scripts/docs:generate_dot_graphs) < $$f > $$tmpdir/$$f + else + cp $$f $$tempdir/$$f + fi done cd $$tmpdir/site tar cf $$origdir/$@ * |