diff options
author | jason <jason@138bc75d-0d04-0410-961f-82ee72b054a4> | 1997-08-21 22:57:35 +0000 |
---|---|---|
committer | jason <jason@138bc75d-0d04-0410-961f-82ee72b054a4> | 1997-08-21 22:57:35 +0000 |
commit | 28e9041cc224267271fbcd8db22bea115912365b (patch) | |
tree | a3b19970338bdae580faff126a716e1d5520400c /texinfo/TODO | |
parent | 5000a677980ebfb439f5349c5e269f7447dbab41 (diff) | |
download | gcc-28e9041cc224267271fbcd8db22bea115912365b.tar.gz |
Initial revision
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@14877 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'texinfo/TODO')
-rw-r--r-- | texinfo/TODO | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/texinfo/TODO b/texinfo/TODO new file mode 100644 index 00000000000..de5b571722f --- /dev/null +++ b/texinfo/TODO @@ -0,0 +1,35 @@ +If you are interested in working on any of these, +email bug-texinfo@prep.ai.mit.edu. + +* Use Automake. + +* Use a config header file instead of @DEFS@. + +* A detexinfo program, like detex or delatex. This command would + strip all the texinfo commands out, and would be used as a filter on + the way to a speller. An option would be to NOT strip comments out. + makeinfo --no-headers come close. + +* Change bars. This is difficult or impossible in TeX, + unfortunately. To do it right requires device driver support. + +* The dark corner symbol for the gawk manual. + +* Better i18n support, including support for 8-bit input + characters. Requires fonts, and the DC fonts are not (as of this + writing) free. + +* @exercise/@answer command for, e.g., gawk. + +* @figure. + +* HTML output in makeinfo. + +* Include a complete functional summary, a la a reference card, in the manual. + +* Use @ as the escape character, and Texinfo syntax generally, in the + table of contents, aux, and index files. Eliminate all the crazy + redefinitions of every Texinfo command (which lists always seem to be + incomplete). + +* Improve the manuals for makeinfo, standalone info, etc. |