This repo does fully automatic extraction from the unmodified TeX
sources of the Scheme RnRS documents. If you run ./download.rkt and
then ./parse.rkt you will obtain exactly the same result as I did.
download.rkt-- download and extract RnRS TeX filesparse.rkt-- parse metadata from extracted TeX filesr?rs/*.tex-- unmodified TeX sources extracted bydownload.rktr?rs-args.scm-- procedure and macro signatures extracted byparse.rkt