summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorBen Longbons <b.r.longbons@gmail.com>2015-01-03 13:15:41 -0800
committerBen Longbons <b.r.longbons@gmail.com>2015-01-03 13:15:41 -0800
commit6bf7732916c9b1c936465f5ad57572dd4fb6554f (patch)
treef214a24d7c2d2bd8a51ab1f235a2ff8e56668568 /tools
parent6f6529a4bbc4dceaaed7e9c56b482e83fb809de9 (diff)
downloadtmwa-6bf7732916c9b1c936465f5ad57572dd4fb6554f.tar.gz
tmwa-6bf7732916c9b1c936465f5ad57572dd4fb6554f.tar.bz2
tmwa-6bf7732916c9b1c936465f5ad57572dd4fb6554f.tar.xz
tmwa-6bf7732916c9b1c936465f5ad57572dd4fb6554f.zip
Fix building without docs
Diffstat (limited to 'tools')
-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'):