feat: github action to download latest files -> add, also add pdf generation, works

[srghma]

why the official repo is not public at all? would be easier than to download from remote

generated pdf have same style as in https://github.com/mietek/sf/blob/master/doc/pdf/lf.pdf . so, its ugly. will try to make them colorized like html done

kind of prompt I used

https://softwarefoundations.cis.upenn.edu/ has 7 volumes

Make py script

Json file acts as state file . It saves versions of tars which is written in remote html Eg Version 7.0 (2026-01-09 13:17, Coq 9.0.0 or later) All 7 strings

Goes to each of 7 pages (sh script should hardcode 7 urls) Eg https://softwarefoundations.cis.upenn.edu/lf-current/index.html Checks that in stored JSON version is same , else will download new tars , clear existing dir completely, unpack

Add GitHub job cron each day every 30 min recheck if new version is published

Should update xxx-current dirs with code

But there is a tar inside of these dirs - I expect it will be removed automatically

Also add script to generate pdfs for each of books

Apart from coq files - opam config etc should not be removed, but reused and maybe updated

If GitHub job requires deps e.g. to update or generate pdf - should install and cache

[srghma]

lf.pdf
plf.pdf
vfa.pdf
qc.pdf
vc.pdf
slf.pdf
secf.pdf

[srghma]

here is from html

https://drive.google.com/drive/folders/1R-GxjQu4fFNd3SvE3x_0agVGGlBYK_QV?usp=drive_link