pretext
pretext copied to clipboard
Listing filenames
Basic implementation of filenames for listings. No fancy download links, but I'm not convinced they are needed as anywhere a link would be active the reader can copy/paste into an editor.
It is quite likely there is a more ideal LaTeX implementation.
Built off of https://github.com/PreTeXtBook/pretext/pull/2272 - suggest resolving it first.