Add support for HTML file to extract-regexes.pl#77

Merged

davisjam merged 9 commits intodavisjam:masterfrom

Jul 12, 2021

Commits on Jun 25, 2021

Commits on Jun 26, 2021

prepare for pull request
du201
committed

Commits on Jun 30, 2021

Improve on modularity: move html-dealing code from extract-regexes.pl to extract-regexps-html.py
du201
committed
Improve modularity: let html regex extractor recursively call extract-regexes.pl
du201
committed
Switch to tempfile and add some functions
du201
committed

Commits on Jul 1, 2021

Switch from relative path to absolute path in html extractor
du201
committed

Commits on Jul 12, 2021