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/protocol.py')

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-60-g2f50