diff options
| author | Karl Berry <karl@freefriends.org> | 2008-08-11 22:53:23 +0000 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2008-08-11 22:53:23 +0000 |
| commit | 229fa4835455072ad23738f7ea529fbcd81d3fd0 (patch) | |
| tree | 006484b75800228b610345e07137c1754ce0a0c0 /Build | |
| parent | ebc4b6945b86a142cd0a3424c7c393e70c94c4fe (diff) | |
update mtimes so as to avoid useless help2man runs
git-svn-id: svn://tug.org/texlive/trunk@10260 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
| -rw-r--r-- | Build/source/utils/texinfo/doc/pdftexi2dvi.1 | 1 | ||||
| -rw-r--r-- | Build/source/utils/texinfo/doc/texi2dvi.1 | 1 | ||||
| -rw-r--r-- | Build/source/utils/texinfo/doc/texi2pdf.1 | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/Build/source/utils/texinfo/doc/pdftexi2dvi.1 b/Build/source/utils/texinfo/doc/pdftexi2dvi.1 index 76d34b6e3da..e9b0f08c1a6 100644 --- a/Build/source/utils/texinfo/doc/pdftexi2dvi.1 +++ b/Build/source/utils/texinfo/doc/pdftexi2dvi.1 @@ -182,3 +182,4 @@ programs are properly installed at your site, the command .B info texi2dvi .PP should give you access to the complete manual. + diff --git a/Build/source/utils/texinfo/doc/texi2dvi.1 b/Build/source/utils/texinfo/doc/texi2dvi.1 index 98a889f6c73..651812b7ccd 100644 --- a/Build/source/utils/texinfo/doc/texi2dvi.1 +++ b/Build/source/utils/texinfo/doc/texi2dvi.1 @@ -182,3 +182,4 @@ programs are properly installed at your site, the command .B info texi2dvi .PP should give you access to the complete manual. + diff --git a/Build/source/utils/texinfo/doc/texi2pdf.1 b/Build/source/utils/texinfo/doc/texi2pdf.1 index 76d34b6e3da..e9b0f08c1a6 100644 --- a/Build/source/utils/texinfo/doc/texi2pdf.1 +++ b/Build/source/utils/texinfo/doc/texi2pdf.1 @@ -182,3 +182,4 @@ programs are properly installed at your site, the command .B info texi2dvi .PP should give you access to the complete manual. + |