diff options
author | Karl Berry <karl@freefriends.org> | 2019-02-01 22:23:43 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2019-02-01 22:23:43 +0000 |
commit | 25159401966ff30b596061231e5d83cbeaced439 (patch) | |
tree | 3d18680e0e0c2df80958f1e76408b0d39801c742 /TODO | |
parent | 81e6580b3a8c804a54437bcfeac4e9bee8529ce2 (diff) |
unswthesis (1feb19)
git-svn-id: svn://tug.org/texlive/trunk@49899 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -200,10 +200,6 @@ Things to do that karl noticed in TL'05, many still relevant :( -- 5. WON'T DO: ============ -.tds.zip should run through jimh's checker before we believe it. --- Unfortunately we can't do this because Jim's stuff is Python-based -and has too many library dependencies. - should only find package names at the appropriate levels, so that graphics.tlpsrc does not have to include lines like docpattern +!d texmf-dist/doc/latex/tufte-latex/graphics @@ -211,7 +207,7 @@ docpattern +!d texmf-dist/doc/latex/tufte-latex/graphics tex: implement fancier behavior at prompt file name, see knuth update notes and thread at http://tug.org/mailman/private/tex-implementors/2008/001925.html --- No, current behavior seems good enough. +-- No, current behavior seems good enough, interactive use is minor. use unzip 6.0? -- Not until we see that there's some gain. @@ -221,3 +217,10 @@ TEXMFSYSCONFIG == TEXMFCONFIG and TEXMFSYSVAR == TEXMFVAR so that updmap and updmap-sys would do exactly the same thing, hence never conflict. -- this would just add another layer of confusion and source of error. + +Have BibTeX not require .bib extension, similarly not other extensions. +(suggestion from Bob Morris to karl, 10 Oct 2015). +-- no, because if "bibtex foo" found "foo" when there was no foo.bib, +it could easily be a binary. This has been a constant problem, +introduced from day one by the concept of "default extension". I fear it +is too deeply embedded in all TeX software by now to change. |