piff (30mar11)

git-svn-id: svn://tug.org/texlive/trunk@21894 c570f23f-e606-0410-a88d-b1316a301751

9 files changed, 227 insertions, 1 deletions

diff --git a/Master/texmf-dist/doc/latex/piff/duplicat-doc.pdf b/Master/texmf-dist/doc/latex/piff/duplicat-doc.pdf
new file mode 100644
index 00000000000..d5dd0f294db
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/piff/duplicat-doc.pdf
diff --git a/Master/texmf-dist/doc/latex/piff/duplicat-doc.tex b/Master/texmf-dist/doc/latex/piff/duplicat-doc.tex
new file mode 100644
index 00000000000..badd836fbe7
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/piff/duplicat-doc.tex
@@ -0,0 +1,42 @@
+\documentclass[pagesize=auto, fontsize=14pt, parskip=half, DIV=10]{scrartcl}
+
+\usepackage{fixltx2e}
+\usepackage{etex}
+\usepackage{lmodern}
+\usepackage[T1]{fontenc}
+\usepackage{textcomp}
+\usepackage{microtype}
+\usepackage{hyperref}
+
+\newcommand*{\mail}[1]{\href{mailto:#1}{\texttt{#1}}}
+\newcommand*{\pkg}[1]{\textsf{#1}}
+
+\addtokomafont{title}{\rmfamily}
+
+\title{The \pkg{duplicat} package}
+\author{Mike Piff\thanks{\mail{M.Piff@sheffield.ac.uk}}}
+\date{}
+
+
+\begin{document}
+
+\maketitle
+
+\noindent
+This package marks each page of the \textsc{dvi} file with its sequence number.
+Useful if there are duplicate page numbers in the output, eg,\\
+\textit{1, 2, 3, 1, 2, 3, 4, 5, 6, \dots}\\
+become\\
+\textit{1.1, 2.2, 3.3, 1.4, 2.5, 3.6, 4.7, 5.8, 6.9, \dots}
+
+These numbers do not appear in the page number itself, but can be used
+in the driver command to select a page range, eg, in em\TeX, use\\
+\verb|dvihplj filename /b1.4 /e 4.7|
+
+If you are using \texttt{dvips}, this package is unnecessary, since it uses the
+convention that the avove pages have names\\
+\textit{1, 2, 3, 1.1, 2.1, 3.1, 4, 5, 6, \dots}\\
+where .0 is optional (first occurrence of that page number).\\
+\verb|dvips -p1.1  -l4 filename|
+
+\end{document}
diff --git a/Master/texmf-dist/doc/latex/piff/newproof-doc.pdf b/Master/texmf-dist/doc/latex/piff/newproof-doc.pdf
new file mode 100644
index 00000000000..e58f03b6939
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/piff/newproof-doc.pdf
diff --git a/Master/texmf-dist/doc/latex/piff/newproof-doc.tex b/Master/texmf-dist/doc/latex/piff/newproof-doc.tex
new file mode 100644
index 00000000000..2335fdbbc5d
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/piff/newproof-doc.tex
@@ -0,0 +1,115 @@
+\documentclass[pagesize=auto, parskip=half, fontsize=12pt, DIV=9]{scrartcl}
+
+\usepackage{fixltx2e}
+\usepackage{etex}
+\usepackage{xspace}
+\usepackage{lmodern}
+\usepackage[T1]{fontenc}
+\usepackage{textcomp}
+\usepackage[svgnames]{xcolor}
+\usepackage{latexsym}
+\usepackage{listings}
+\usepackage{microtype}
+\usepackage{hyperref}
+
+\newcommand*{\mail}[1]{\href{mailto:#1}{\texttt{#1}}}
+\newcommand*{\pkg}[1]{\textsf{#1}}
+\newcommand*{\cs}[1]{\texttt{\textbackslash#1}}
+\makeatletter
+\newcommand*{\cmd}[1]{\cs{\expandafter\@gobble\string#1}}
+\makeatother
+\newcommand*{\env}[1]{\texttt{#1}}
+
+\addtokomafont{title}{\rmfamily}
+
+\lstset{%
+  language=[LaTeX]TeX,%
+  columns=flexible,%
+  upquote=true,%
+  numbers=left,%
+  basicstyle=\ttfamily,%
+  keywordstyle=\color{Navy},%
+  commentstyle=\color{DimGray},%
+  stringstyle=\color{SeaGreen},%
+  numberstyle=\scriptsize\color{SlateGray}%
+}
+
+\title{The \pkg{newproof} package}
+\author{Mike Piff\thanks{\mail{M.Piff@shef.ac.uk}}}
+\date{}
+
+
+\begin{document}
+
+\maketitle
+
+\renewcommand*{\labelenumi}{\texttt{\#\theenumi}}
+
+This package defines a \cmd{\newproof} command similar to \cmd{\newtheorem}.
+Its arguments are
+%
+\begin{enumerate}
+\item Name of proof environment, eg, \env{proof}.
+\item Starting text, eg, \emph{Proof}.
+\item Finishing text, eg, $\Box$ flushed right.
+\end{enumerate}
+
+The package goes on to define a \env{proof} environment with exactly the
+above setup, but other unnumbered environments can be set up in the
+same way.
+
+The created environments take one optional argument, which, if present,
+goes in brackets after \verb|#2|.   Eg,
+%
+\begin{lstlisting}
+\begin{proof}
+  A proof.
+\end{proof}
+
+\begin{proof}[B. L. User]
+  A named proof.
+\end{proof}
+
+\begin{proof}[of Theorem \ref{thm}]
+  Yet another.
+\end{proof}
+\end{lstlisting}
+
+Command \cmd{\qed} is set up to flush \cmd{\qedtext} right; \cmd{\qedtext} defaults
+to a square, but can be re-defined as ``QED'' or whatever.
+
+\end{document}
+
+%
+% 
+%
+% This file is placed in the public domain.  No provision is made for
+% support of the use of the facilities herein.
+%
+\NeedsTeXFormat{LaTeX2e}[1995/12/01]
+\ProvidesPackage{newproof}
+\newcommand{\newproof}[3]{
+   \newenvironment{#1}[1][]%
+   {%
+      \begin{trivlist}%
+         \item[\hspace{\labelsep}\textnormal{\textbf{#2%
+            \def\op@@@arg{##1}%
+            \ifx\op@@@arg\empty
+            \else~(##1)\fi
+         }}]%
+   }%
+   {%
+      #3
+      \end{trivlist}%
+   }%
+}
+\newproof{proof}{Proof}{\qed}
+\def\qed{{\ifhmode\unskip\nobreak\hfil\penalty50 \hskip1em \else\nobreak\fi
+   \mbox{}\nobreak\hfil\qedtext%
+   \parfillskip=0pt \finalhyphendemerits=0 \par}}
+
+\def\qedtext{\ensuremath{\square}}
+\RequirePackage{amsfonts}
+\DeclareMathSymbol{\square}       {\mathord}{AMSa}{"03}
+
+
diff --git a/Master/texmf-dist/doc/latex/piff/onepagem-doc.pdf b/Master/texmf-dist/doc/latex/piff/onepagem-doc.pdf
new file mode 100644
index 00000000000..02e4aa26726
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/piff/onepagem-doc.pdf
diff --git a/Master/texmf-dist/doc/latex/piff/onepagem-doc.tex b/Master/texmf-dist/doc/latex/piff/onepagem-doc.tex
new file mode 100644
index 00000000000..e45a288b20a
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/piff/onepagem-doc.tex
@@ -0,0 +1,37 @@
+\documentclass[pagesize=auto, DIV=10, fontsize=14pt, parskip=full]{scrartcl}
+
+\usepackage{fixltx2e}
+\usepackage{etex}
+\usepackage{xspace}
+\usepackage{lmodern}
+\usepackage[T1]{fontenc}
+\usepackage{textcomp}
+\usepackage{microtype}
+\usepackage{hyperref}
+
+\newcommand*{\mail}[1]{\href{mailto:#1}{\texttt{#1}}}
+\newcommand*{\pkg}[1]{\textsf{#1}}
+\newcommand*{\cs}[1]{\texttt{\textbackslash#1}}
+\makeatletter
+\newcommand*{\cmd}[1]{\cs{\expandafter\@gobble\string#1}}
+\makeatother
+
+\addtokomafont{title}{\rmfamily}
+
+\title{The \pkg{onepagem} package\thanks{This manual corresponds to \pkg{onepagem.sty}~v1.01a, dated~28 Mar 1996.}}
+\author{Mike Piff\thanks{\mail{M.Piff@sheffield.ac.uk}}}
+\date{28 Mar 1996}
+
+
+\begin{document}
+
+\maketitle
+
+If the document has only one page, omit page number. (onepagempty)
+The page number must be produced by means of \cmd{\thepage}.
+Needs two passes through \LaTeX\ to work, as it writes to the {\tt .aux} file.
+
+The first version was a joke put on CTAN to illustrate how useful
+\cmd{\AtEndDocument} is.  This one works\dots
+
+\end{document}
diff --git a/Master/texmf-dist/doc/latex/piff/time-doc.pdf b/Master/texmf-dist/doc/latex/piff/time-doc.pdf
new file mode 100644
index 00000000000..0f362837b9b
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/piff/time-doc.pdf
diff --git a/Master/texmf-dist/doc/latex/piff/time-doc.tex b/Master/texmf-dist/doc/latex/piff/time-doc.tex
new file mode 100644
index 00000000000..99ca5b51acd
--- /dev/null
+++ b/Master/texmf-dist/doc/latex/piff/time-doc.tex
@@ -0,0 +1,31 @@
+\documentclass[pagesize=auto, fontsize=14pt, parskip=full, DIV=9]{scrartcl}
+
+\usepackage{fixltx2e}
+\usepackage{lmodern}
+\usepackage[T1]{fontenc}
+\usepackage{microtype}
+\usepackage{hyperref}
+
+\newcommand*{\mail}[1]{\href{mailto:#1}{\texttt{#1}}}
+\newcommand*{\pkg}[1]{\textsf{#1}}
+\newcommand*{\cs}[1]{\texttt{\textbackslash#1}}
+\makeatletter
+\newcommand*{\cmd}[1]{\cs{\expandafter\@gobble\string#1}}
+\makeatother
+
+\addtokomafont{title}{\rmfamily}
+
+\title{The \pkg{time} package\thanks{This manual corresponds to \pkg{time.sty}~v1.0a, dated~15 Feb 1995.}}
+\author{Mike Piff\thanks{\mail{M.Piff@sheffield.ac.uk}}}
+\date{15 Feb 1995}
+
+
+\begin{document}
+
+\maketitle
+
+The \pkg{time} package defines a command \cmd{\now} which typesets the current time in twelve-hour format.
+The format is \verb|%l:%M%p|, where \verb|%l| and \verb|%M| denote the hour (without leading zeros) and minute (with leading zeros), and \verb|%p| is either ``am'' or ``pm.''
+The command is fragile.
+
+\end{document}
diff --git a/Master/tlpkg/bin/check-files-by-format b/Master/tlpkg/bin/check-files-by-format
index d99de60f98f..8112a9858df 100755
--- a/Master/tlpkg/bin/check-files-by-format
+++ b/Master/tlpkg/bin/check-files-by-format
@@ -29,6 +29,7 @@ BEGIN {
 
 use TeXLive::TLPDB;
 
+
 # 1 means pdfinfo issues errors but still exits successfully
 # 2 means pdfinfo exits non-zero
 my $exclude_pdf = {
@@ -115,7 +116,6 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1',
   'public/wasy/' => 1,
   'public/xypic/' => 1,
   'public/yhmath/' => 1,
-  'texworks/fonts/' => 1,	# these come from gs
   'uhc/umj/' => 1,
   'urw/avantgar/' => 1,
   'urw/bookman/' => 1,
@@ -135,6 +135,7 @@ my $exclude_pfb = { '*base*' => 'texmf-dist/fonts/type1',
   'wadalab/dmj/' => 1,
   'wadalab/mcj/' => 1,
   'wadalab/mrj/' => 1,
+  'tlpkg/texworks/fonts/' => 1,	# these come from gs
 };
 # mpg: are these files actually broken?? Should look for the actual errors and
 # check with a font expert which are dummy, then filter them out.