From 4cb58ed111f9d44bd5bb4c83995a9d0371e2a6ff Mon Sep 17 00:00:00 2001
From: Stefan van der Walt <stefanv@berkeley.edu>
Date: Wed, 15 Jul 2020 18:09:14 +0200
Subject: [PATCH] Add `data` folder to built docs

These `.json` files are not currently copied to the output directory.
This seems to be a problem with the way recommonmark handles links with
extensions.

See also https://github.com/readthedocs/recommonmark/issues/130#issuecomment-658632877
---
 doc/Makefile | 5 +++++
 fritz        | 1 -
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index d4bb2cbb..f1596c10 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -18,3 +18,8 @@ help:
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
 	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+
+html:
+	@$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)
+	cp -r data _build/html
+	touch _build/html/.nojekyll
diff --git a/fritz b/fritz
index b2acb8ba..0d1e8cb3 100755
--- a/fritz
+++ b/fritz
@@ -257,7 +257,6 @@ def test(args):
 
 def doc(args):
     subprocess.run(["make", "html"], cwd="doc", check=True)
-    Path("doc/_build/html/.nojekyll").touch()
 
     if args.upload:
         subprocess.run(