From 6bf7732916c9b1c936465f5ad57572dd4fb6554f Mon Sep 17 00:00:00 2001
From: Ben Longbons <b.r.longbons@gmail.com>
Date: Sat, 3 Jan 2015 13:15:41 -0800
Subject: Fix building without docs
---
tools/protocol.py | 4 ++++
1 file changed, 4 insertions(+)
(limited to 'tools')
diff --git a/tools/protocol.py b/tools/protocol.py
index 5a91555..5e7812b 100755
--- a/tools/protocol.py
+++ b/tools/protocol.py
@@ -6619,6 +6619,10 @@ def make_dots(ctx):
# disabled because that's still just too many packets for the 0x0063
#p = partition({k: ids_only(v.post) for (k, v) in d.items()})
+ if not os.path.exists('doc-gen'):
+ # generate.make will succeed if missing the wiki repo
+ # but 'make doc' will fail
+ return
for g in glob.glob('doc-gen/*.gv'):
os.rename(g, g + '.old')
for g in glob.glob('doc-gen/Packet-*.md'):
--
cgit v1.2.3-70-g09d2