summaryrefslogtreecommitdiff
path: root/tools/protocol.py
diff options
context:
space:
mode:
Diffstat (limited to 'tools/protocol.py')
-rwxr-xr-xtools/protocol.py4
1 files changed, 4 insertions, 0 deletions
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'):