summaryrefslogtreecommitdiff
path: root/Build/source/texk/dvipsk/TODO
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/dvipsk/TODO')
-rw-r--r--Build/source/texk/dvipsk/TODO6
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/TODO b/Build/source/texk/dvipsk/TODO
index 0e82c6e853d..de738d4a773 100644
--- a/Build/source/texk/dvipsk/TODO
+++ b/Build/source/texk/dvipsk/TODO
@@ -24,3 +24,9 @@ Still todo:
and all) and a Unix machine using TDS, make it be just a `make' away.
- Improve diagnostics, especially when files not found.
- Eliminate `extern' declarations; use header files properly
+
+Won't do:
+- would be nice to report the full path of config.ps and psfonts.map,
+etc., if !quiet, but unfortunately these are processed before the banner
+is printed. Can't move the banner earlier because we have to know if we
+are being quiet or not. So, leave as debugging output only.