diff options
Diffstat (limited to 'systems/win32/w32tex/TLTEXINFO')
| -rw-r--r-- | systems/win32/w32tex/TLTEXINFO/00README-TEXINFO.TL | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/systems/win32/w32tex/TLTEXINFO/00README-TEXINFO.TL b/systems/win32/w32tex/TLTEXINFO/00README-TEXINFO.TL index 4a58e90921..82e3b12b91 100644 --- a/systems/win32/w32tex/TLTEXINFO/00README-TEXINFO.TL +++ b/systems/win32/w32tex/TLTEXINFO/00README-TEXINFO.TL @@ -14,6 +14,7 @@ directory $INSTALLDIR is shown by a command: texi2dvi --verbose filename.texi dvips filename.dvi etc. + Supported encoding is UTF-8 only. makeinfo etc. in the original Texinfo are not supported. (2) If you define an environment variable TEXINPUTS as @@ -28,5 +29,19 @@ directory $INSTALLDIR is shown by a command: set TEXINPUTS=C:/texlive/2020/texmf-texinfo/tex/texinfo; and the trailing semicolon, ";" is absolutely necessary. +(3) How to uninstall Texinfo addin in TeX Live W32. + When tl-texinfo.zip is expanded in $INSTALLDIR, a batch file + uninstalltexinfo.bat is also created in $INSTALLDIR directory. + For safety, examine contents in the file uninstalltexinfo.bat. + Go to $INSTALLDIR, and run the batch file uninstalltexinfo.bat. + Then the Texinfo addin is removed. For example: + + cd C:\texlive\2020 + uninstalltexinfo.bat + + Finally remove the batch file itself: + + DEL uninstalltexinfo.bat + -- Akira Kakuto |