How to make HTML files from the wikidot-markup files

[martin12333]

(notes about a partial success)

What I have tried:

## in Ubuntu 20.04

sudo apt update
sudo apt install ruby make python3

git clone  https://github.com/clarkgrubb/hyperpolyglot.git

cd hyperpolyglot/

git clone https://github.com/clarkgrubb/wikidot-to-html.git

make --keep-going builds

## more than half of the html files get built without any errors

make --keep-going builds  2>stderr59503

##
cp -v --backup=numbered wikidot-to-html/src/wikidot_to_html.py bin/wikidot_to_html.py

	make --keep-going builds  2>stderr61305

	diff stderr59503 stderr61305
	## the differences are probably not significant, versions as of 2022-05-28

the stderr59503 file is at:

https://gist.github.com/martin12333/8d2c6cc0a78e90d4efff123191ed09d3