From 880758d04ecd9677b9cc10c2837c6bd7237b2ded Mon Sep 17 00:00:00 2001
From: Florian Bruhin <git@the-compiler.org>
Date: Mon, 8 Sep 2014 11:40:27 +0200
Subject: [PATCH] Make generate_doc work on Windows

---
 scripts/generate_doc.py | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/scripts/generate_doc.py b/scripts/generate_doc.py
index ba7c7b35d..c6935ccc9 100755
--- a/scripts/generate_doc.py
+++ b/scripts/generate_doc.py
@@ -396,7 +396,11 @@ def call_asciidoc(src, dst):
     """
     print("{}Calling asciidoc for {}...{}".format(
         col.Fore.CYAN, os.path.basename(src), col.Fore.RESET))
-    args = ['asciidoc']
+    if os.name == 'nt':
+        # FIXME this is highly specific to my machine
+        args = [r'C:\Python27\python', r'J:\bin\asciidoc-8.6.9\asciidoc.py']
+    else:
+        args = ['asciidoc']
     if dst is not None:
         args += ['--out-file', dst]
     args.append(src)