summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rwxr-xr-xtools/protocol.py4
2 files changed, 5 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index eff8a0e..5e00d88 100644
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,7 @@
/bin/
/stamp/
/dist/
+/doc-gen/
# Generated source files
/src/proto2/
/src/debug-debug/
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'):