diff options
Diffstat (limited to 'doc/doc-docbook/PageLabelPDF')
-rwxr-xr-x | doc/doc-docbook/PageLabelPDF | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/doc-docbook/PageLabelPDF b/doc/doc-docbook/PageLabelPDF index 5819d11c4..454d0ec4a 100755 --- a/doc/doc-docbook/PageLabelPDF +++ b/doc/doc-docbook/PageLabelPDF @@ -1,7 +1,5 @@ #! /usr/bin/perl -w -# $Cambridge: exim/doc/doc-docbook/PageLabelPDF,v 1.2 2006/04/04 14:03:49 ph10 Exp $ - # Program to add page label information to the PDF output file. I have not # found a way of automatically discovering the number of frontmatter pages # in the document. It is therefore taken as an argument to be inserted into the |