From eb954d5811ed403ab86f47d3eebbef3cdc1b3843 Mon Sep 17 00:00:00 2001 From: Griatch Date: Fri, 6 Jan 2023 19:09:08 +0100 Subject: [PATCH] Update makefile for doc build --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index 649c76ecae..6ecb864bc5 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -73,7 +73,7 @@ _autodoc-index: make _clean_api_index @EVDIR=$(EVDIR) EVGAMEDIR=$(EVGAMEDIR) SPHINX_APIDOC_OPTIONS=$(SPHINXAPIDOCENV) $(SPHINXAPIDOC) $(SPHINXAPIDOCOPTS) -o $(SOURCEDIR)/api/ $(EVDIR) $(SPHINXAPIDOCEXCLUDE) make _reformat_apidoc_headers - pylib/api_rst2md.py + python pylib/api_rst2md.py _quick_autodoc-index: @EVDIR=$(EVDIR) EVGAMEDIR=$(EVGAMEDIR) SPHINX_APIDOC_OPTIONS=$(SPHINXAPIDOCENV) $(SPHINXAPIDOC) $(SPHINXAPIDOCOPTSQUICK) -o $(SOURCEDIR)/api/ $(EVDIR) $(SPHINXAPIDOCEXCLUDE)