2 Commits

Author	SHA1	Message	Date
Larry Masinter	a8c82aa9c4	The new HCFILES process is simpler if .pdf files aren't ignored	2024-06-30 14:45:12 -07:00
Larry Masinter	d79d5b397b	Remove derived PDFs from repo; now in 'src' repo, comstructed by HCFILES and MAKE-INDEX-HTMLS (#1657) ... * Remove derived PDFs from branch other than gh-pages * only the gh-pages branch should have the pdfs * make pdfs and listings * Update HCFILES and MAKE-INDEX-HTMLS, add preliminary documentation * add a slashit to avoid angle brackets	2024-04-29 16:28:22 -07:00