Sphinx CI experiments

johnnovak · Jul 7, 2024 · e58e426 · e58e426
1 parent e1cdd6a
commit e58e426
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/sphinx-docs/Makefile b/sphinx-docs/Makefile
@@ -2,6 +2,7 @@
 
 SPHINXOPTS   ?=
 SPHINXBUILD  ?= sphinx-build
+SED          = gsed
 SOURCEDIR    = source
 BUILDDIR     = build
 SITEDIR      = ../docs
@@ -50,8 +51,8 @@ build_manual: gen_html
 	rm "$(MANUALDIR)/index.html"
 	mv "$(MANUALDIR)/contents.html" "$(MANUALDIR)/index.html"
 
-	cd "$(MANUALDIR)" && find . -type f -name '*.html' -exec sed -i 's|contents.html|index.html|g' {} +
-	cd "$(MANUALDIR)" && find . -type f -name '*.html' -exec sed -i 's|<p>Hosted on <a href="https://pages.github.com/">GitHub Pages</a></p>||g' {} + 
+	cd "$(MANUALDIR)" && find . -type f -name '*.html' -exec $(SED) -i 's|contents.html|index.html|g' {} +
+	cd "$(MANUALDIR)" && find . -type f -name '*.html' -exec $(SED) -i 's|<p>Hosted on <a href="https://pages.github.com/">GitHub Pages</a></p>||g' {} + 
 
 
 generate_css: