Simple scripts for extracting EWDs from the Edsger W. Dijkstra Archive
ewds.txt
: a list of each page containing links to the various EWD's.entries.json
: A json list of EWDs. Each entry contains the EWD title and document link.download_ewd_indexes.sh
: Downloads every index linked inewds.txt
.ewd_html_to_json.sh
: Extracts and folds every EWD entry into a single json file; seeentries.json
.
See ewds.md
for a markdown-rendered list of documents.