diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/latex2e-help-texinfo-fr/license.texi')
-rw-r--r-- | Master/texmf-dist/doc/latex/latex2e-help-texinfo-fr/license.texi | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/Master/texmf-dist/doc/latex/latex2e-help-texinfo-fr/license.texi b/Master/texmf-dist/doc/latex/latex2e-help-texinfo-fr/license.texi deleted file mode 100644 index 87319b1e8e3..00000000000 --- a/Master/texmf-dist/doc/latex/latex2e-help-texinfo-fr/license.texi +++ /dev/null @@ -1,18 +0,0 @@ -Permission is granted to make and distribute verbatim copies of -this manual provided the copyright notice and this permission notice -are preserved on all copies. - -@ignore -Permission is granted to process this file through TeX and print the -results, provided the printed document carries copying permission -notice identical to this one except for the removal of this paragraph -(this paragraph not being relevant to the printed manual). -@end ignore - -Permission is granted to copy and distribute modified versions of this -manual under the conditions for verbatim copying, provided that the entire -resulting derived work is distributed under the terms of a permission -notice identical to this one. - -Permission is granted to copy and distribute translations of this manual -into another language, under the above conditions for modified versions. |