summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2010-12-02 18:04:55 +0000
committerKarl Berry <karl@freefriends.org>2010-12-02 18:04:55 +0000
commitd4d9bd877f2a73e809752b7047f015940ca249f5 (patch)
treefcdd9e85650ae3fa0fc024dd85e98614e20ad32a
parentec2695953d651111268fe88a6c24cf02fc3750df (diff)
new generic package fntproof 1.0 (1dec10)
git-svn-id: svn://tug.org/texlive/trunk@20638 c570f23f-e606-0410-a88d-b1316a301751
-rw-r--r--Master/texmf-dist/doc/generic/fntproof/README44
-rw-r--r--Master/texmf-dist/doc/generic/fntproof/fntproof-doc.pdfbin0 -> 201650 bytes
-rw-r--r--Master/texmf-dist/doc/generic/fntproof/fntproof-doc.tex578
-rw-r--r--Master/texmf-dist/tex/generic/fntproof/fntproof.tex377
-rwxr-xr-xMaster/tlpkg/bin/tlpkg-ctan-check2
-rwxr-xr-xMaster/tlpkg/libexec/ctan2tds2
-rw-r--r--Master/tlpkg/tlpsrc/collection-genericextra.tlpsrc1
-rw-r--r--Master/tlpkg/tlpsrc/fntproof.tlpsrc0
8 files changed, 1003 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/generic/fntproof/README b/Master/texmf-dist/doc/generic/fntproof/README
new file mode 100644
index 00000000000..5da89f9df1e
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/fntproof/README
@@ -0,0 +1,44 @@
+Files: fntproof.tex, fntproof-doc.tex fntproof-doc.pdf
+
+Purpose:
+
+ The file fntproof.tex is essentiallly Knuth's testfont.tex, modified
+ to make all tests noninteractive (no prompting for data).
+
+License:
+
+ All files are public domain.
+
+Usage:
+
+ You can input fntproof in a file, and then use the commands in that
+ file, or you can type the commands on the command line. By default,
+ the first "word" after the fntproof.tex has been read in is taken to
+ be the TFM name of a font to test. Use \noinit to delay the reading of
+ the font name.
+
+Examples:
+
+ Command line:
+ tex fntproof cmti10 <commands>
+ tex fntproof \noinit Normal text. \init cmti10 <commands>
+
+ In a file:
+ \input fntproof cmr10 <commands>
+ \input fntproof \noinit Normal text. \init cmti10 <commands>
+
+ <commands> include \table, \text, \sample which produce, respectively,
+ - a table of characters in the font,
+ - some text using the font, and
+ - both of the above.
+
+ All commands available in testfont.tex are included (in noninteractive
+ versions).
+
+Documentation:
+ See fntproof-doc.pdf for complete documentation. It may be regenerated
+ by running pdflatex (twice) on fntproof-doc.tex.
+
+--
+Daniel Luecking
+luecking AT-SIGN uark DOT edu
diff --git a/Master/texmf-dist/doc/generic/fntproof/fntproof-doc.pdf b/Master/texmf-dist/doc/generic/fntproof/fntproof-doc.pdf
new file mode 100644
index 00000000000..0a2745e88ea
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/fntproof/fntproof-doc.pdf
Binary files differ
diff --git a/Master/texmf-dist/doc/generic/fntproof/fntproof-doc.tex b/Master/texmf-dist/doc/generic/fntproof/fntproof-doc.tex
new file mode 100644
index 00000000000..5937314c075
--- /dev/null
+++ b/Master/texmf-dist/doc/generic/fntproof/fntproof-doc.tex
@@ -0,0 +1,578 @@
+\documentclass[draft]{article}
+\usepackage{mflogo}
+\addtolength\textwidth{.5in}
+\addtolength\oddsidemargin{-.25in}
+\usepackage{verbatim}
+\newcommand\prog[1]{\texttt{#1}}
+\newcommand\file[1]{\texttt{#1}}
+\newcommand\env[1]{\texttt{#1}}
+\renewcommand\"{\verb"}
+
+\newcommand\meta[1]{$\langle$\textit{#1}$\rangle$}
+\title{How to use \file{fntproof.tex}\\ and \file{testfont.tex}}
+\author{Dan Luecking\thanks{\copyright 2010
+ by Daniel H. Luecking. This software is public domain. If you make any
+ changes to this document, please remove or modify this copyright notice
+ before distributing your version, preferably with a different name.
+ This documents version 1.0 of \file{fntproof}}}
+
+\begin{document}
+
+\maketitle
+
+\begin{abstract}
+ The macro file \file{fntproof.tex} is a noninteractive version of
+ D.~E.~Knuth's \file{testfont.tex}. Instead of prompting for font names
+ and commands, the user supplies them on the command line, or in a file.
+\end{abstract}
+
+
+\section{Introduction}
+
+I used to often run \prog{tex} on \file{testfont.tex}, which prompts for
+a font name and prompts for a command. Often, after ending the session,
+I would want to run almost the same command on almost the same font and
+would have to type almost everything over again, or else deal with my
+\prog{tex} program's rather primitive line recall/editing mechanism.
+
+Since I run \prog{tex} in a command shell which has better command line
+recall and rather better line editing capabilities than my \prog{tex}
+has, I wrote \file{fntproof.tex} to give me the same capabilities as
+\file{testfont.tex}, but allow me to specify the font and the commands
+on the command line.
+
+This is the documentation of \file{fntproof}. Since \file{testfont.tex}
+has no documentation outside of ``The \MF book'', I am also also
+documenting it. The reader is assumed to have some minimal knowledge of
+plain \TeX{}, especially the ``\"\font"'' command.
+
+Apart from the fact that \file{fntproof} can read the fontname from the
+command line, there are few differences between \file{testfont.tex} and
+\file{fntproof.tex}:
+
+\begin{itemize}
+ \item In \file{testfont}, the \"\init" command prompts for a fontname,
+ while \file{fntproof} arranges to read one typed on the command
+ line or in a file.
+
+ \item In \file{testfont}, \"\mixture", \"\alternation" and \"\series"
+ issue three prompts, while in \file{fntproof} they read three
+ arguments.
+
+ \item In \file{testfont}, \"\alphabet" and \"\ALPHABET" issue a
+ prompt, while in \file{fntproof} they read an argument.
+
+ \item In a \LaTeX{} document, \file{testfont} redefines the \"\table"
+ command, destroying the \env{table} environment, while
+ \file{fntproof} tries to detect \LaTeX{} and leave \"\table"
+ alone. The command \"\fonttable" then takes the place of
+ \file{testfont}'s \"\table" command.
+
+ \item In \file{testfont}, the primitive \TeX{} command \"\fontname" is
+ also overwritten, while \file{fntproof} uses a different
+ internal name for the same purpose. This require a couple of
+ other minor differences to be discussed later.
+
+ \item There are a few useful commands added.
+\end{itemize}
+
+Like \file{testfont}, \file{fntproof} can print a table of the font's
+characters and a bit of sample text and run other tests. It has
+noninteractive versions of all the interactive commands allowed by
+\file{testfont}.
+
+
+\section{Example command lines}\label{examples}
+
+\begin{itemize}
+ \item Produce sample text of cmr10:
+\begin{verbatim}
+ tex fntproof cmr10 \text\bye
+\end{verbatim}
+
+ \item Produce a table of cmr10 and sample text of cmti10 (pdf output).
+ Note the use of ``\"\init"'' to change to the new font:
+\begin{verbatim}
+ pdftex fntproof cmr10 \table \init cmti10 \text\bye
+\end{verbatim}
+
+ \item Produce a table and a test of digits for cmr10, only a table for
+ cmti10 at 12pt:
+\begin{verbatim}
+ tex fntproof cmr10 \table\digits\init{cmti10 at 12pt}\table\bye
+\end{verbatim}
+
+ \item Obtain a list of available commands and their meanings
+\begin{verbatim}
+ pdftex fntproof \help \end
+\end{verbatim}
+\end{itemize}
+
+Your command line interpreter may require you to quote or escape
+backslashes or other of its special characters in these examples. I am
+able to run all of these as-is in a command window under Windows XP
+using TeX Live 2008--2010. Of course the output appears in
+\file{fntproof.dvi} or \file{fntproof.pdf}.
+
+
+\section{The commands}
+
+A font can be specified by its TFM filename followed by a space (or a
+line end). Font filenames are allowed to contain most of \TeX{}'s
+special characters when \file{fntproof} is used. However, they cannot
+contain spaces or other whitespace characters, and they cannot begin
+with a left brace~(\"{"). There are even more limitations on the TFM
+filename typed at \file{textfont}'s prompt, as most special
+\TeX{} characters cause some problem or other.
+
+A command applies to the font most recently specified. The following
+commands are available. They are the same as those provided by the
+interactive version, \file{testfont.tex}, except they do not prompt for
+input, but require any arguments to follow the command.
+
+\begin{itemize}
+ \item \"\sample" \"\table" \"\text"\\
+ \"\sample" produces a table and some sample text; \"\table" produces
+ only the table, \"\text" only the text.
+
+ \item \"\mixture"\\
+ This takes three characters as arguments. The first character
+ (the ``background'') is mixed among all the characters from the
+ second argument to the third. For example, ``\"\mixture Xaz"'' produces
+\begin{verbatim}
+ XaXXaaXXXaaaXa
+ XbXXbbXXXbbbXb
+ ...
+\end{verbatim}
+ and so on, until z.
+
+ \item \"\alternation"\\
+ This is like \"\mixture", except ``\"\alternation Xaz"''
+ produces lines like
+\begin{verbatim}
+ XaXaXaXaXaXaXaXaX
+ XbXbXbXbXbXbXbXbX
+ ...
+\end{verbatim}
+ and so on.
+
+ \item \"\series"\\
+ Like the previous two it takes 3 arguments, but produces a
+ single line containing all the characters in the sequence. Thus,
+ ``\"\series Xaz"'' produces
+\begin{verbatim}
+ XaXbXcXdXeXfXgXhXiXjXkXlXmXnXoXpXqXrXsXtXuXvXwXxXyXzX
+\end{verbatim}
+
+ \item \"\alphabet" \"\ALPHABET"\\
+ These take one character as argument. It is the ``background''
+ and is mixed among all the lowercase, respectively uppercase
+ letters. So ``\"\ALPHABET x"'' is almost like
+ ``\"\series xAZ"'', but also includes the characters \AE, \OE,
+ and \O, while ``\"\alphabet X"'' is like ``\"\series Xaz"'', but
+ also includes \ae, \oe, \o, and \ss.
+
+ \item \"\lowers" \"\uppers" \"\digits" \"\names"
+ \"\punct"\\
+ These perform comprehensive tests of lowercase, uppercase,
+ digits, names and punctuation. For example, \"\lowers" is
+ like
+\begin{verbatim}
+ \alphabet a \alphabet b ...
+\end{verbatim}
+
+ and \"\digits" is like
+\begin{verbatim}
+ \series 009 \series 109 \series 209 ...
+\end{verbatim}
+
+ \item \"\bigtest" \"\math"\\
+ \"\bigtest" includes (more or less) all the previous
+ commands. \"\math" produces a large set of tests of math
+ (the font should be a math alphabetic font like cmmi10).
+
+ \item \"\help" \"\init" \"\noinit"\\
+ \"\help" produces a summary of available commands on the screen.
+
+ \"\init" prepares for the next font. In \file{testfont}, it
+ issues a prompt for a fontname and need not be invoke for the
+ first font, which is prompted for immediately after input.
+ In \file{fntproof}, it reads the following fontname, and it need
+ not be used before the first font (see the examples in
+ section~\ref{examples}), unless the filename begins with a
+ \TeX{} special character.
+
+ \"\noinit" turns off this automatic initialization. Use it when
+ you want some text before the first font test, or if you want
+ the current font to be used. Its syntax differs between
+ \file{fntproof} and \file{testfont}, see below.
+\end{itemize}
+
+Note: In \file{fntproof}, \"\init" examines the first following
+nonspace character. If that is a left brace (i.e., ``\"{"'')
+\"\init" assumes the font name is contained between that left brace
+and the first matching right brace~(``\"}"'').
+Multi-part font specifications (such as ``\"cmr10 at 12pt"'') must be
+enclosed in braces, and this \emph{must} be preceded by \"\init".
+
+For the commands that take character arguments, the actual characters
+might not be printed, especially in symbol fonts. Instead, the glyphs in
+the corresponding positions will appear. Most printable ASCII characters
+can be used in the argument, but not ``\"{"'', ``\"}"'', ``\"\"'' or space. In
+place of a literal character one can supply a numerical position in the
+font. This command:
+\begin{verbatim}
+ \mixture X{#97}{#122}
+\end{verbatim}
+has the same effect as this one:
+\begin{verbatim}
+ \mixture Xaz
+\end{verbatim}
+The numeric part of the argument (everything after after the \"#") can
+be (probably) any valid \TeX{} number. Your command line interpreter may
+require you to escape or ``quote'' the double quote marks which are used
+in \TeX{} for hexadecimal, the single quote marks used for octal or the
+back quote used in character code notation.
+
+A numerical argument must be enclosed in braces: a ``\"#"'' not in braces
+(or alone in braces) will be taken literally. For example,
+\begin{verbatim}
+ \mixture #120az
+\end{verbatim}
+would read ``\"#"'', ``\"1"'' and ``\"2"'' as the arguments and the rest,
+``\"0az"'', as plain \TeX{} code (i.e., characters to be printed).
+
+It should be noted that the implementation of \"\series" does not
+allow any ligatures or kerns between adjacent characters. This is also
+true of the commands based on \"\series": \"\alphabet", \"\ALPHABET",
+\"\lowers", \"\uppers", and \"\digits". It is true for both
+\file{testfont} and \file{fntproof}, which use the same internal
+implementation. If one wants to test these properties of a font, one
+must type in ones own text (see the following section).
+
+Another limitation: in the ``\"\alphabet"'' and ``\"ALPHABET"''
+commands, if the font has an encoding other than OT1, then the
+characters \ae, \oe, \o, \ss, \AE, \OE, and \O{} may not appear as
+advertised, since the implementation accesses them by position
+number. For PostScript fonts, a black box may appear where these
+characters should be.
+
+In addition to the commands listed, which are common to \file{fntproof}
+and \file{testfont}, \file{fntproof} supplies the following extra
+commands, not available in \file{testfont}.
+
+\begin{itemize}
+\item \"\initcurrentfont"\\
+ Use this to perform the functions of \"\init" on the current font.
+ This would normally be preceded by commands selecting the desired
+ font. See section~\ref{latex} for a \LaTeX{} example.
+
+\item \"\noinit"\\
+ In \file{testfont}, the only way to use this is to say
+ \"\let\noinit=!" \emph{before} inputting \file{testfont.tex}. This
+ cancels the immediate prompt for a font filename. But in
+ \file{fntproof}, ``\"\noinit"'' can also be used immediately
+ \emph{after} inputting \file{fntproof}. Either use cancels
+ \file{fntproof}'s assumption that the first following word is the
+ name of the font to be selected. This allows ordinary text to be
+ inserted before selecting a font. After this, the command \"\init"
+ allows a font to be specified.
+
+\item \"\headersfalse" \"\headerstrue" \"\theheader"\\
+ A side effect of the \"\init" command (including one implicitly
+ invoked by a font name following the input of \file{fntproof}) is
+ the printing of a single header line similar to the following:
+\begin{verbatim}
+ Test of cmti10 on July 31 at 1244
+\end{verbatim}
+ Use ``\"\headersfalse"'' to force the omission of all such headers
+ for any subsequent font. Use ``\"\headerstrue"'' to resume the
+ default behavior. In any circumstance, the header text can be
+ printed using ``\"\theheader"''.
+
+\item \"\thisfont" \"\getthisfont"\\
+ The macro ``\"\thisfont"'' produces the name of the font most
+ recently specified by an explicit or implicit \"\init" or by
+ \"\initcurrentfont". If no such initialization was done,
+ ``\"\getthisfont"'' will cause \"\thisfont" to be defined to the
+ text produced by the command sequence \"\fontname\font" (i.e., the
+ tfm filename of the current font---plus any ``\texttt{scaled}'' or
+ ``\texttt{at}'' clause).
+
+\item \"\fonttable"\\
+ As already mentioned, this is the alternative to \"\table" that must
+ be used in \LaTeX{}. It can also be used in plain \TeX{}.
+
+\end{itemize}
+
+
+\section{Other \TeX{} commands}
+
+\TeX{} commands besides the above can be inserted at any point except
+between \"\init" and the next fontname. No guarantee is given that they
+they will have the expected effect. Text will be printed in the whatever
+font is current. No text should be typed between ``\file{fntproof}'' and
+the first fontname or else it will be mistaken for a font (but see
+\"\noinit" above and examples of its use below).
+
+If the command line does not end in \"\end" or \"\bye", \TeX{} will wait
+for more input in its usual way, with a ``\texttt{*}'' prompt. If additional
+commands from the above list are entered (except \"\init"), they will be
+applied to the previously named font. Moreover, a new font name can be
+entered (after \"\init"). Of course, any plain \TeX{} commands can be
+entered. The session can be ended by entering \"\end" or \"\bye".
+
+
+\section{Use as a macro file}
+
+Like \file{testfont.tex}, \file{fntproof.tex} allows the commands to be
+used in a file rather than interactively, or on the command line. One
+can do this by writing ``\"\let\noinit=!"'' before inputting
+\file{testfont} or \file{fntproof}. This is somewhat more useful for
+\file{fntproof} than for \file{testfont} as \emph{all} the \file{fntproof}
+commands are noninteractive.
+
+Unlike \file{testfont}, \file{fntproof} also allows you to simply type
+``\"\noinit"'' \emph{immediately after} inputting it, for the same
+effect. For example, with \file{testfont} one would initialize the font
+oneself and then issue commands:
+\begin{verbatim}
+ \let\noinit=! \input testfont
+ Ordinary text in default font.
+ \def\fontname{cmti10}\startfont \table \text \bye
+\end{verbatim}
+Note that ``initializing a font'' after \file{testfont} is loaded
+amounts to defining \"\fontname" and then using the \"\startfont"
+command. The above example will produce a table and sample text of
+cmti10. Note that \"\startfont" alone will not work. If both steps are
+omitted, the \"\table" command will build a table of the current font,
+but certain preparatory steps will not be taken and some commands (but
+not \"\table") will produce errors.
+
+The corresponding \file{fntproof} method would be the following. Note
+that this could also be typed on the command line (all on one line)
+after the tex command (in that case the ``\"\input"'' would be omitted):
+\begin{verbatim}
+ \input fntproof \noinit
+ Ordinary text in default font.
+ \init cmti10 \table \text \bye
+\end{verbatim}
+Note that \file{testfont.tex} causes the \TeX{} primitive command
+\"\fontname" to be redefined. The macros in \file{fntproof} do not do
+this, but instead use \"\thisfont" for the same internal purposes as
+\file{testfont} uses \"\fontname".
+
+If one wanted to initialize a font immediately (with no intervening
+text in some other font), even this \"\noinit" hack is unnecessary:
+\begin{verbatim}
+ \input fntproof cmr10 \table \text \bye
+\end{verbatim}
+This would perform the auto-\"\init" on cmr10. In this case, any
+\"\headersfalse" command would have to be put just before the font name.
+Otherwise, it need only come before the next \"\init" command.
+
+In \file{testfont}, a command like \"\mixture" would produce three
+prompts to get the character or numeric arguments. For the corresponding
+\file{fntproof} commands, these arguments must be supplied and no
+interactive prompt occurs. One can get around these interactive prompts
+in \file{testfont}, but it is rather inconvenient:
+
+\begin{itemize}
+\item with \file{testfont}:
+\begin{verbatim}
+\let\noinit! \input testfont
+Some text in default font. Here is a mixture in cmti:
+\chardef\background`X
+\chardef\starting`a
+\chardef\ending`z
+\def\fontname{cmti10}\startfont
+\domix\mixpattern% \altpattern for the effect of \alternation
+\bye
+\end{verbatim}
+
+\item with \file{fntproof}:
+\begin{verbatim}
+\input fntproof \noinit
+Some text in default font. Here is a mixture in cmti:
+\init cmti10 \mixture Xaz \bye
+\end{verbatim}
+\end{itemize}
+
+For completeness, here are the other ways to avoid the interactive
+prompt when using \file{testfont} (right), compared to each of the
+\file{fntproof} commands (left).
+
+\begin{itemize}
+ \item \"\series Xaz" $\Rightarrow$ \"\chardef\background`X\!\doseries{`a}{`z}\par"
+ \item \"\alphabet X" $\Rightarrow$ \"\chardef\background`X\complower"
+ \item \"\ALPHABET X" $\Rightarrow$ \"\chardef\background`X\compupper"
+\end{itemize}
+
+In the \"\doseries" command, the arguments can be numbers:
+\"\doseries{97}{122}" is the same as \"\doseries{`a}{`z}". You can use
+numbers in the \"\chardef" commands. For example
+``\"\chardef\background88 "'' is the same as ``\"\chardef\background `X"''.
+Note: a space (or end-of-line) after explicit digits is almost
+mandatory to terminate the number before any following macros are
+expanded.
+
+Instead of ``\"\init" \meta{tfmname}'', one can use normal font
+selection commands, followed by ``\"\initcurrentfont"'', and then the
+testing commands (e.g., \"\fonttable", \"\text"). For example,
+\begin{verbatim}
+ \input fntproof
+ \font\x=cmdunh10 at 12pt \x
+ \initcurrentfont \table \text \bye
+\end{verbatim}
+See the next section for an example in \LaTeX{}. To do this with
+\file{testfont} would require the following incantations:
+\begin{verbatim}
+ \let\originalfontname\fontname
+ \let \noinit=!
+ \input testfont
+ \font\x=cmdunh10 at 12pt \x
+ \edef\fontname{\originalfontname\font}%
+ \startfont \table \text \bye
+\end{verbatim}
+
+Note that \"\init", \"\initcurrentfont" and some of the testing commands
+change some \TeX{} parameters. This could affect the typesetting of the
+rest of the document, so it might be wise to enclose a session of font
+testing in a group, if your document contains other material.
+
+Note also that the mere loading of \file{fntproof} or \file{testfont}
+invokes the following settings:
+\begin{verbatim}
+ \tracinglostchars=0
+ \tolerance=1000
+ \raggedbottom
+ \parindent=0pt
+ \hyphenpenalty=200
+ \doublehyphendemerits=30000
+\end{verbatim}
+These are suitable for the running of tests on fonts. If the rest of
+your document needs different parameters, it is your responsibility to
+reset these afterward. There are also numerous internal macros used by
+both \file{testfont} and \file{fntproof} that are not protected by
+having \texttt{@} in there name. This is another reason to input the
+macro file and use the testing macros inside a group.
+
+Finally, \file{testfont} turns off page numbering (in plain \TeX) when loaded.
+
+
+\section{Use with \LaTeX{}}\label{latex}
+
+In \LaTeX{}, printable text has to come after \"\begin{document}" so a
+minimal command line could be (typed without pressing [Enter] or [Return]):
+\begin{verbatim}
+ latex fntproof \noinit \documentclass{article}\begin{document}
+ \init cmr10 \fonttable \end{document}
+\end{verbatim}
+
+Thus with \LaTeX{}, \file{fntproof} might better be used in a file. Note
+also that \"\fonttable" is used instead of \"\table" to avoid destroying
+\LaTeX{}'s table environment. For example,
+\begin{verbatim}
+ \documentclass[12pt]{article}
+ \begin{document}
+ \input fntproof
+ \fontencoding{T1}\fontfamily{bch}\selectfont
+ \initcurrentfont
+ \fonttable
+ \end{document}
+\end{verbatim}
+This would produce a table of the Bitstream Charter font..
+
+The above font selection commands ultimately load the TFM file
+\texttt{bchr8t} magnified to \texttt{12pt}. Thus, the header
+text actually looks something like this:
+\begin{verbatim}
+ Test of bchr8t at 12.0pt on October 7, 2010 at 1649
+\end{verbatim}
+Moreover, ``\"\thisfont"'' will acquire the definition ``\texttt{bchr8t
+at 12.0pt}''.
+
+I have not tested \file{testfont.tex} much in \LaTeX{}. After the
+\"\let\noinit=!" hack, inputting \file{testfont} causes an
+error because \"\nopagenumbers" is undefined. Then the command
+\"\table", \"\text", or \"\sample" cause an error because \"\sevenrm" is
+undefined, but otherwise proceed correctly.
+
+
+\section{History}
+
+ 2009/05/05 -- first version\\
+ 2009/07/31 -- add \"\noinit", \"\ifheaders", \"\theheader"\\
+ 2009/11/12 -- revised documentation (comments)\\
+ 2010/01/03 -- further documentation revisions\\
+ 2010/10/11 -- documentation moved to separate file, added
+ \"\initcurrentfont" and \"\getthisfont".
+
+\bigskip
+
+\section{Appendix}
+
+The output of \file{fntproof}'s \"\help" command:
+\begin{verbatim}
+=== Main commands ==============
+\init switches to another font;
+\end or \bye finishes the run;
+\table prints the font layout in tabular format;
+\fonttable must be used instead of \table in LaTeX;
+ \text prints a sample text, assuming TeX text font conventions;
+\sample combines \table and \text;
+\mixture mixes a background character with a series of others;
+\alternation interleaves a background character with a series;
+\alphabet prints all lowercase letters within a given background
+\ALPHABET prints all uppercase letters within a given background
+\series prints a series of letters within a given background;
+\lowers prints a comprehensive test of lowercase;
+\uppers prints a comprehensive test of uppercase;
+\digits prints a comprehensive test of numerals;
+\math prints a comprehensive test of TeX math italic;
+\names prints a text that mixes upper and lower case;
+\punct prints a punctuation test;
+\bigtest combines many of the above routines;
+\help repeats this message;
+and you can use ordinary TeX commands (e.g., to \input a file).
+=== More commands ==============
+\noinit turns off automatic initialization of the first word as a font;
+\headersfalse \headerstrue turn off/resume printing of header text;
+\theheader print the header text;
+\thisfont print the name of font specified by \init;
+\getthisfont define \thisfont to be the current font;
+==================================
+\end{verbatim}
+
+\bigskip
+\filbreak
+\noindent The output of \file{testfont}'s \"\help" command:
+\begin{verbatim}
+\init switches to another font;
+\end or \bye finishes the run;
+\table prints the font layout in tabular format;
+\text prints a sample text, assuming TeX text font conventions;
+\sample combines \table and \text;
+\mixture mixes a background character with a series of others;
+\alternation interleaves a background character with a series;
+\alphabet prints all lowercase letters within a given backgroun
+\ALPHABET prints all uppercase letters within a given backgroun
+\series prints a series of letters within a given background;
+\lowers prints a comprehensive test of lowercase;
+\uppers prints a comprehensive test of uppercase;
+\digits prints a comprehensive test of numerals;
+\math prints a comprehensive test of TeX math italic;
+\names prints a text that mixes upper and lower case;
+\punct prints a punctuation test;
+\bigtest combines many of the above routines;
+\help repeats this message;
+and you can use ordinary TeX commands (e.g., to \input a file).
+\end{verbatim}
+
+\bigskip
+\filbreak
+\noindent Knuth's original \file{testfont.tex} comment:\\
+\texttt{\% A testbed for font evaluation (see The METAFONTbook, Appendix H)}
+
+\end{document}
+
diff --git a/Master/texmf-dist/tex/generic/fntproof/fntproof.tex b/Master/texmf-dist/tex/generic/fntproof/fntproof.tex
new file mode 100644
index 00000000000..70578bc26f3
--- /dev/null
+++ b/Master/texmf-dist/tex/generic/fntproof/fntproof.tex
@@ -0,0 +1,377 @@
+% fntproof.tex
+%
+% Copyright 2010 by Daniel H. Luecking. Placed in the public domain.
+% If you make any changes, please remove or modify this copyright notice
+% before distributing your version, preferably with a different name.
+%
+% This is a noninteractive version of testfont.tex. Instead of prompting
+% for font names and commands, the user supplies them on the command
+% line, or in a file.
+%
+%
+% Original testfont.tex comment:
+% A testbed for font evaluation (see The METAFONTbook, Appendix H)
+%
+% (Most code changes from testfont.tex are explained in comments preceded
+% by "%DHL:")
+%
+\def\fntproofversion{1.0}
+\immediate\write16{This is fntproof.tex, version \fntproofversion.}
+\tracinglostchars=0
+\tolerance=1000
+\raggedbottom
+\parindent=0pt
+\hyphenpenalty=200
+\doublehyphendemerits=30000
+\hyphenation{prom-i-nent}%
+%
+\newcount\m \newcount\n \newcount\p \newdimen\dim
+\chardef\other=12
+%
+\def\today{\ifcase\month\or
+ January\or February\or March\or April\or May\or June\or
+ July\or August\or September\or October\or November\or December\fi
+ \space\number\day, \number\year}%
+\def\hours{\n=\time \divide\n 60
+ \m=-\n \multiply\m 60 \advance\m \time
+ \twodigits\n\twodigits\m}%
+\def\twodigits#1{\ifnum #1<10 0\fi \number#1}%
+%
+%DHL: These are used to sanitize the fontname.
+% Odd capitals to avoid overwriting other's macros (Knuth's own
+% overwriting notwithstanding :)
+\def\sTripprefix#1>{}%
+\def\sAnitize#1{\edef#1{\expandafter\sTripprefix\meaning#1}}
+\def\gobble#1{}%
+\def\firstofone#1{#1}%
+%
+% Modified from ifmtarg.sty, works around certain errors.
+\begingroup
+ \catcode`\Q=3
+ \long\gdef\xifmtarg#1#2Q#3#4#5\relax{#4}%
+ \long\gdef\ifnotempty#1{\xifmtarg#1QQ\firstofone\gobble\relax}%
+\endgroup
+%
+%DHL: For debug purposes: a command to read and show the file name.
+% This to test whether TeX special characters in the font name are
+% properly handled.
+%\def\showfont{%
+% \begingroup
+% \def\do##1{\catcode`##1=\other}\dospecials
+% \catcode`\ =10\relax\xshowfont
+%}%
+%\def\xshowfont#1 {%
+% \newlinechar`\^^J%
+% \message{^^J --> Font name #1 read from command line. <--^^J}%
+% \endgroup
+%}%
+%
+%DHL: \init will not prompt, but just read up to the next space.
+% We allow anything but whitespace in a filename. The filename argument
+% (of \xinit) is delimited by the next space. Alternatively, an
+% initial left brace is assumed to be grouping around the full font
+% name. In that case, \yinit reads the whole group
+\def\init{\futurelet\next\doinit}% to see if a brace follows
+\def\doinit{%
+ \begingroup
+ \def\do##1{\catcode`##1=\other}\dospecials\catcode`\ =10\relax
+ \ifx\next\bgroup
+ \catcode`\{=1 \catcode`\}=2
+ \expandafter\yinit
+ \else
+ \expandafter\xinit
+ \fi}
+\def\yinit #1{\fininit{#1}}%
+\def\xinit#1 {\fininit{#1}}%
+\def\fininit#1{%
+ \def\thisfont{#1}\sAnitize\thisfont\global\let\thisfont\thisfont
+ \endgroup
+ \par\everypar{}%
+ \startfont
+}%
+%
+%DHL:
+% This defines \everypar so that the first fontname triggers \init,
+% a lot like mproof.tex.
+\def\Init{\par\everypar{{\setbox0\lastbox}\everypar{}\init}}%
+%
+%DHL: \startfont is identical to the one in testfont.tex, except I've
+% added a \filbreak between fonts and a conditional to turn off the
+% header.
+\def\startfont{\font\testfont=\thisfont \spaceskip=0pt
+ \filbreak
+ \ifheaders \par
+ \leftline{\sevenrm Test of \thisfont\unskip\ on \today\ at \hours}%
+ \fi
+ \medskip
+ \testfont \setbaselineskip
+ \ifdim\fontdimen6\testfont<10pt \rightskip=0pt plus 20pt
+ \else\rightskip=0pt plus 2em \fi
+ \spaceskip=\fontdimen2\testfont % space between words (\raggedright)
+ \xspaceskip=\fontdimen2\testfont \advance\xspaceskip by\fontdimen7\testfont}%
+%
+\newif\ifheaders \headerstrue
+%DHL:
+% \getthisfont defines \thisfont to be the \fontname of the current
+% font. Unlike \init it does not sanitize \thisfont as \fontname returns
+% category 12 characters.
+%
+% \initcurrentfont performs the functions of \init on the current font,
+% including defining \thisfont.
+%
+% \theheader prints the header even when \headersfalse was issued. It
+% requires a definition for \thisfont.
+\def\getthisfont{\edef\thisfont{\fontname\font}}%
+\def\initcurrentfont{\noinit\getthisfont\startfont}%
+\def\theheader{%
+ \leftline{\sevenrm Test of \thisfont\ on \today\ at \hours}}%
+%
+%DHL:
+% One change to \help is use of "^^J" instead of "@" as \newlinechar.
+% Since no other command needs this, I have made it a local assignment.
+% I've added some delimiting lines as well.
+\begingroup
+\catcode`\|=0 \catcode`\\=\other
+|gdef|help{{|newlinechar`^^J|message{^^J%
+=== Main commands ==============^^J%
+\init switches to another font;^^J%
+\end or \bye finishes the run;^^J%
+\table prints the font layout in tabular format;^^J%
+\fonttable must be used instead of \table in LaTeX;^^J
+\text prints a sample text, assuming TeX text font conventions;^^J%
+\sample combines \table and \text;^^J%
+\mixture mixes a background character with a series of others;^^J%
+\alternation interleaves a background character with a series;^^J%
+\alphabet prints all lowercase letters within a given background;^^J%
+\ALPHABET prints all uppercase letters within a given background;^^J%
+\series prints a series of letters within a given background;^^J%
+\lowers prints a comprehensive test of lowercase;^^J%
+\uppers prints a comprehensive test of uppercase;^^J%
+\digits prints a comprehensive test of numerals;^^J%
+\math prints a comprehensive test of TeX math italic;^^J%
+\names prints a text that mixes upper and lower case;^^J%
+\punct prints a punctuation test;^^J%
+\bigtest combines many of the above routines;^^J%
+\help repeats this message;^^J%
+and you can use ordinary TeX commands (e.g., to \input a file).^^J%
+=== More commands ==============^^J%
+\noinit turns off automatic initialization of the first word as a font;^^J%
+\headersfalse \headerstrue turn off/resume printing of header text;^^J%
+\theheader print the header text;^^J%
+\thisfont print the name of font specified by \init;^^J%
+\getthisfont define \thisfont to be the current font;^^J%
+==================================^^J^^J}}}%
+|endgroup
+%
+\def\setbaselineskip{\setbox0=\hbox{\n=0
+\loop\char\n \ifnum \n<255 \advance\n 1 \repeat}
+\baselineskip=6pt \advance\baselineskip\ht0 \advance\baselineskip\dp0 }%
+%
+%DHL: This is used just before reading character arguments.
+\def\beginspecial{%
+ \begingroup
+ \def\do##1{\catcode`##1=\other}\dospecials
+ \catcode`\{=1\catcode`\}=2\catcode`\\=0\catcode`\ =10
+}%
+\let\endspecial\endgroup
+%
+%DHL:
+% We delay reading anything until the \catcode changes in \beginspecial.
+\long\def\setchar{\beginspecial\Xsetchar}%
+%
+%DHL:
+% #1 is the character name (\background, \starting or \ending)
+% #2 is the command to be run after the characters are "set".
+% #3 is the actual character.
+% Calls \dosetchar, then ends group and issues saved command
+\long\def\Xsetchar#1#2#3{\dosetchar#1{#3}\endspecial#2}%
+%
+%DHL:
+% #1 as in \Xsetchar
+% #2 actual character
+% Inserts character as a delimited parameter for \finsetchar
+% We could do all this in \Xsetchar, but I needed to isolate
+% this part for use in \getthree.
+\def\dosetchar#1#2{%
+ \def\next{#2}\expandafter\finsetchar\next\next#1}%
+%
+%DHL:
+% #1 is first token of character, #2 is the rest, possibly empty
+% #3 is the character command (same as #1 in \setchar).
+% If the first part is #, and the rest is not empty, assume the rest is
+% a number.
+\def\finsetchar#1#2\next#3{\global\chardef#3=`#1
+ \ifnum #3=`\#\relax \ifnotempty{#2}{\global\chardef#3=#2\relax}\fi}%
+%
+%DHL:
+% As \setchar no longer prompts for input, \promptthree is
+% changed to \getthree.
+\def\getthree{%
+ \beginspecial
+ \dogetthree
+}%
+\long\def\dogetthree#1#2#3#4{%
+ \dosetchar\background{#2}%
+ \dosetchar\starting{#3}%
+ \dosetchar\ending{#4}%
+ \endspecial#1%
+}%
+%DHL: The commands themselves. Very few changes at from here
+% to the end.
+%
+%DHL:
+% Extra braces in \mixture and \alternation because \getthree takes
+% the code to run as an argument. This is so it can get at the character
+% arguments that follow.
+\def\mixture{\getthree{\domix\mixpattern}}%
+\def\alternation{\getthree{\domix\altpattern}}%
+\def\mixpattern{\0\1\0\0\1\1\0\0\0\1\1\1\0\1}%
+\def\altpattern{\0\1\0\1\0\1\0\1\0\1\0\1\0\1\0\1\0}%
+\def\domix#1{\par\chardef\0=\background \n=\starting
+ \loop \chardef\1=\n #1\endgraf
+ \ifnum \n<\ending \advance\n 1 \repeat}%
+%
+\def\!{\discretionary{\background}{\background}{\background}}%
+%DHL: Extra braces in \series also. Same reason as above.
+\def\series{\getthree{\!\doseries\starting\ending\par}}%
+\def\doseries#1#2{\n=#1\loop\char\n\!\ifnum\n<#2\advance\n 1 \repeat}%
+\def\complower{\!\doseries{`a}{`z}\doseries{'31}{'34}\par}%
+\def\compupper{\!\doseries{`A}{`Z}\doseries{'35}{'37}\par}%
+\def\compdigs{\!\doseries{`0}{`9}\par}%
+\def\alphabet{\setchar\background\complower}%
+\def\ALPHABET{\setchar\background\compupper}%
+%
+\def\lowers{\docomprehensive\complower{`a}{`z}{'31}{'34}}%
+\def\uppers{\docomprehensive\compupper{`A}{`Z}{'35}{'37}}%
+\def\digits{\docomprehensive\compdigs{`0}{`4}{`5}{`9}}%
+\def\docomprehensive#1#2#3#4#5{\par\chardef\background=#2
+ \loop{#1} \ifnum\background<#3\m=\background\advance\m 1
+ \chardef\background=\m \repeat \chardef\background=#4
+ \loop{#1} \ifnum\background<#5\m=\background\advance\m 1
+ \chardef\background=\m \repeat}%
+%
+\def\names{ {\AA}ngel\aa\ Beatrice Claire
+ Diana \'Erica Fran\c{c}oise Ginette H\'el\`ene Iris
+ Jackie K\=aren {\L}au\.ra Mar{\'\i}a N\H{a}ta{\l}{\u\i}e {\O}ctave
+ Pauline Qu\^eneau Roxanne Sabine T\~a{\'\j}a Ur\v{s}ula
+ Vivian Wendy Xanthippe Yv{\o}nne Z\"azilie\par}%
+\def\punct{\par\dopunct{min}\dopunct{pig}\dopunct{hid}%
+ \dopunct{HIE}\dopunct{TIP}\dopunct{fluff}%
+ \$1,234.56 + 7/8 = 9\% @ \#0\par}%
+\def\dopunct#1{#1,\ #1:\ #1;\ `#1'\ ?`#1?\ !`#1!\ (#1)\ [#1]\ #1*\ #1.\par}%
+%
+\def\bigtest{\sample
+ hamburgefonstiv HAMBURGEFONSTIV\par
+ \names \punct \lowers \uppers \digits}%
+%
+\def\math{\textfont1=\testfont \skewchar\testfont=\skewtrial
+ \mathchardef\Gamma="100 \mathchardef\Delta="101
+ \mathchardef\Theta="102 \mathchardef\Lambda="103 \mathchardef\Xi="104
+ \mathchardef\Pi="105 \mathchardef\Sigma="106 \mathchardef\Upsilon="107
+ \mathchardef\Phi="108 \mathchardef\Psi="109 \mathchardef\Omega="10A
+ \def\ii{i} \def\jj{j}
+ \def\\##1{|##1|+}\mathtrial
+ \def\\##1{##1_2+}\mathtrial
+ \def\\##1{##1^2+}\mathtrial
+ \def\\##1{##1/2+}\mathtrial
+ \def\\##1{2/##1+}\mathtrial
+ \def\\##1{##1,{}+}\mathtrial
+ \def\\##1{d##1+}\mathtrial
+ \let\ii=\imath \let\jj=\jmath \def\\##1{\hat##1+}\mathtrial}%
+\newcount\skewtrial \skewtrial='177
+\def\mathtrial{$\\A \\B \\C \\D \\E \\F \\G \\H \\I \\J \\K \\L \\M \\N \\O
+ \\P \\Q \\R \\S \\T \\U \\V \\W \\X \\Y \\Z \\a \\b \\c \\d \\e \\f \\g
+ \\h \\\ii \\\jj \\k \\l \\m \\n \\o \\p \\q \\r \\s \\t \\u \\v \\w \\x \\y
+ \\z \\\alpha \\\beta \\\gamma \\\delta \\\epsilon \\\zeta \\\eta \\\theta
+ \\\iota \\\kappa \\\lambda \\\mu \\\nu \\\xi \\\pi \\\rho \\\sigma \\\tau
+ \\\upsilon \\\phi \\\chi \\\psi \\\omega \\\vartheta \\\varpi \\\varphi
+ \\\Gamma \\\Delta \\\Theta \\\Lambda \\\Xi \\\Pi \\\Sigma \\\Upsilon
+ \\\Phi \\\Psi \\\Omega \\\partial \\\ell \\\wp$\par}%
+\def\mathsy{\begingroup\skewtrial='060 % for math symbol font tests
+ \def\mathtrial{$\\A \\B \\C \\D \\E \\F \\G \\H \\I \\J \\K \\L
+ \\M \\N \\O \\P \\Q \\R \\S \\T \\U \\V \\W \\X \\Y \\Z$\par}
+ \math\endgroup}%
+%
+\def\oct#1{\hbox{\rm\'{}\kern-.2em\it#1\/\kern.05em}}% octal constant
+\def\hex#1{\hbox{\rm\H{}\tt#1}}% hexadecimal constant
+\def\setdigs#1"#2{\gdef\h{#2}% \h=hex prefix; \0\1=corresponding octal
+ \m=\n \divide\m by 64 \xdef\0{\the\m}%
+ \multiply\m by-64 \advance\m by\n \divide\m by 8 \xdef\1{\the\m}}%
+\def\testrow{\setbox0=\hbox{\penalty 1\def\\{\char"\h}%
+ \\0\\1\\2\\3\\4\\5\\6\\7\\8\\9\\A\\B\\C\\D\\E\\F%
+ \global\p=\lastpenalty}}% \p=1 if none of the characters exist
+\def\oddline{\cr
+ \noalign{\nointerlineskip}
+ \multispan{19}\hrulefill&
+ \setbox0=\hbox{\lower 2.3pt\hbox{\hex{\h x}}}\smash{\box0}\cr
+ \noalign{\nointerlineskip}}%
+\newif\ifskipping
+\def\evenline{\loop\skippingfalse
+ \ifnum\n<256 \m=\n \divide\m 16 \chardef\next=\m
+ \expandafter\setdigs\meaning\next \testrow
+ \ifnum\p=1 \skippingtrue \fi\fi
+ \ifskipping \global\advance\n 16 \repeat
+ \ifnum\n=256 \let\next=\endchart\else\let\next=\morechart\fi
+ \next}%
+\def\morechart{\cr\noalign{\hrule\penalty5000}
+ \chartline \oddline \m=\1 \advance\m 1 \xdef\1{\the\m}
+ \chartline \evenline}%
+\def\chartline{&\oct{\0\1x}&&\:&&\:&&\:&&\:&&\:&&\:&&\:&&\:&&}%
+\def\chartstrut{\lower4.5pt\vbox to14pt{}}%
+\def\fonttable{$$\global\n=0
+ \halign to\hsize\bgroup
+ \chartstrut##\tabskip0pt plus10pt&
+ &\hfil##\hfil&\vrule##\cr
+ \lower6.5pt\null
+ &&&\oct0&&\oct1&&\oct2&&\oct3&&\oct4&&\oct5&&\oct6&&\oct7&\evenline}%
+\def\endchart{\cr\noalign{\hrule}
+ \raise11.5pt\null&&&\hex 8&&\hex 9&&\hex A&&\hex B&
+ &\hex C&&\hex D&&\hex E&&\hex F&\cr\egroup$$\par}%
+\def\:{\setbox0=\hbox{\noboundary\char\n\noboundary}%
+ \ifdim\ht0>7.5pt\reposition
+ \else\ifdim\dp0>2.5pt\reposition\fi\fi
+ \box0\global\advance\n 1 }%
+\def\reposition{\setbox0=\vbox{\kern2pt\box0}\dim=\dp0
+ \advance\dim 2pt \dp0=\dim}%
+\def\centerlargechars{
+ \def\reposition{\setbox0=\hbox{$\vcenter{\kern2pt\box0\kern2pt}$}}}%
+%
+\def\text{{\advance\baselineskip-4pt
+\setbox0=\hbox{abcdefghijklmnopqrstuvwxyz}
+\ifdim\hsize>2\wd0 \ifdim 15pc>2\wd0 \hsize=15pc \else \hsize=2\wd0 \fi\fi
+On November 14, 1885, Senator \& Mrs.~Leland Stanford called
+together at their San Francisco mansion the 24~prominent men who had
+been chosen as the first trustees of The Leland Stanford Junior University.
+They handed to the board the Founding Grant of the University, which they
+had executed three days before. This document---with various amendments,
+legislative acts, and court decrees---remains as the University's charter.
+In bold, sweeping language it stipulates that the objectives of the University
+are ``to qualify students for personal success and direct usefulness in life;
+and to promote the publick welfare by exercising an influence in behalf of
+humanity and civilization, teaching the blessings of liberty regulated by
+law, and inculcating love and reverence for the great principles of
+government as derived from the inalienable rights of man to life, liberty,
+and the pursuit of happiness.'' \moretext
+(!`THE DAZED BROWN FOX QUICKLY GAVE 12345--67890 JUMPS!)\par}}%
+\def\moretext{?`But aren't Kafka's Schlo{\ss} and {\AE}sop's {\OE}uvres
+often na{\"\i}ve vis-\`a-vis the d{\ae}monic ph{\oe}nix's official r\^ole
+in fluffy souffl\'es? }%
+\def\omitaccents{\let\moretext=\relax}%
+%
+\def\sample{\fonttable\text}%
+%DHL: Adjustments for LaTeX:
+\ifx\AtBeginDocument\UndEfInEd
+ \let\table\fonttable
+\else
+ \ifx\sevenrm\UndEfInEd
+ \def\sevenrm{\normalfont\fontfamily{cmr}\fontsize{7}{9}\selectfont}%
+ \fi
+\fi
+%
+%DHL:
+% \Init causes first fontname to auto-\init itself. For this purpose, the
+% fontname must begin with a character with category 11 or 12. As in
+% testfont.tex, this can be turned off by \let\noinit! before this file is
+% input. With fntproof, we have the alternative of using the command
+% \noinit *after* it is input.
+\ifx\noinit!\else\Init\fi \def\noinit{\everypar{}}%
diff --git a/Master/tlpkg/bin/tlpkg-ctan-check b/Master/tlpkg/bin/tlpkg-ctan-check
index 718af70fba4..d73698177c3 100755
--- a/Master/tlpkg/bin/tlpkg-ctan-check
+++ b/Master/tlpkg/bin/tlpkg-ctan-check
@@ -140,7 +140,7 @@ my @TLP_working = qw(
flabels flacards flagderiv flashcards flashmovie flippdf float floatrow
flowfram fltpage fltpoint
fmtcount
- fn2end fnbreak fncychap fncylab fnpara
+ fn2end fnbreak fncychap fncylab fnpara fntproof
foekfont font-change fontch fontinst fontools
fontspec fonttable fontwrap
footbib footmisc footnpag forarray forloop formular
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds
index 59f02378332..94d9c25b54a 100755
--- a/Master/tlpkg/libexec/ctan2tds
+++ b/Master/tlpkg/libexec/ctan2tds
@@ -408,6 +408,7 @@ $Master = "$mydir/../..";
'lifia-th', "die 'skipping, ?'",
'linearA', "&MAKEflatten",
'lineno', "&MAKEnosymlinks",
+ 'lintex', "die 'skipping, compiled program'",
'literat', "&MAKEliterat",
'lithuanian', "&MAKEflatten",
'lkort', "die 'skipping, obsolete'",
@@ -970,6 +971,7 @@ $standardtex='\.(.bx|cfg|sty|clo|ldf|cls|def|fd|cmap|4ht)$';
'fjodor', 'fjodor\.sty', # not srbook-mem.sty
'flashmovie', '\.swf|' . $standardtex,
'fltpoint', '\.sty|\.tex',
+ 'fntproof', 'fntproof.tex',
'font-change', 'font.*\.tex',
'fontch', '\.tex',
'footnpag', 'footnpag\.sty',
diff --git a/Master/tlpkg/tlpsrc/collection-genericextra.tlpsrc b/Master/tlpkg/tlpsrc/collection-genericextra.tlpsrc
index d9c5fca1b51..3e5d0e30085 100644
--- a/Master/tlpkg/tlpsrc/collection-genericextra.tlpsrc
+++ b/Master/tlpkg/tlpsrc/collection-genericextra.tlpsrc
@@ -15,6 +15,7 @@ depend encxvlna
depend epigram
depend fenixpar
depend fltpoint
+depend fntproof
depend iftex
depend insbox
depend lecturer
diff --git a/Master/tlpkg/tlpsrc/fntproof.tlpsrc b/Master/tlpkg/tlpsrc/fntproof.tlpsrc
new file mode 100644
index 00000000000..e69de29bb2d
--- /dev/null
+++ b/Master/tlpkg/tlpsrc/fntproof.tlpsrc