diff options
| author | stuebinm | 2023-07-20 02:34:57 +0200 |
|---|---|---|
| committer | stuebinm | 2023-07-20 02:34:57 +0200 |
| commit | 55127af74270eb84b12d7369f31b9a1160a8fec0 (patch) | |
| tree | 7975f75c5845faf3af7caec039ce00dbe5484439 /home/scripts/sync.scm | |
| parent | af021d53cec4f07ff21c63f2a9c4f75b5acad058 (diff) | |
home: documentation for TeXlive
(this makes texdoc find useful pdfs on disk instead of on CTAN)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions