From f9e20867732012fe443aebf77de2dc2ce9ba3530 Mon Sep 17 00:00:00 2001
From: Fabrice Le Fessant <fabrice.le_fessant@ocamlpro.com>
Date: Fri, 19 Jan 2024 16:55:05 +0100
Subject: [PATCH] Fix sphinx generation

---
 guide/sphinx/Makefile.generic | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/guide/sphinx/Makefile.generic b/guide/sphinx/Makefile.generic
index 72b235c..812f8c1 100644
--- a/guide/sphinx/Makefile.generic
+++ b/guide/sphinx/Makefile.generic
@@ -1,18 +1,18 @@
-PADBOL=$(HOME)/GIT/COBOL/padbol/superbol
+PADBOL=superbol-free
 
 .PHONY: all html rst
 
-all: html
+all: rst html
 
 rst: _rst/$(MANUAL)/index.rst
 
-_rst/$(MANUAL)/index.rst: $(PADBOL) ../*.texi $(MANUAL).anchors
+_rst/$(MANUAL)/index.rst: ../*.texi $(MANUAL).anchors
 	rm -rf _rst/$(MANUAL)/
 	mkdir -p _rst/$(MANUAL)/
-	padbol texi2rst ../$(MANUAL).texi -o _rst/$(MANUAL)/
+	$(PADBOL) texi2rst ../$(MANUAL).texi -o _rst/$(MANUAL)/
 
 html: _html/$(MANUAL)/index.html
 
-_html/$(MANUAL)/index.html: $(PADBOL) _rst/$(MANUAL)/*.rst _rst/$(MANUAL)/index.rst  _templates/layout.html
+_html/$(MANUAL)/index.html: _rst/$(MANUAL)/index.rst  _templates/layout.html
 	cp -dpR conf.py _static _templates _rst/$(MANUAL)/
 	sphinx-build _rst/$(MANUAL) _html/$(MANUAL)/