use github pages

2022-11-05 15:19:24 -05:00
parent c536df36ba
commit a6788c4b77
3 changed files with 664 additions and 0 deletions
--- a/4
+++ b/4
@@ -44,6 +44,10 @@ html: $(SOURCEDIR)/$(SOURCEFILENAME).md
 epub: $(SOURCEDIR)/$(SOURCEFILENAME).md
 	$(PANDOC) $(PANDOC_OPTIONS) $(PANDOC_EPUB_OPTIONS) '$<' -o $(BUILDDIR)/$(BUILDFILENAME).$@

+github:
+	@make html
+	@cp -a $(BUILDDIR)/$(BUILDFILENAME).html ./index.html
+
 # Targets and dependencies
 .PHONY: all clean