Permission is granted to copy, distribuite and/or modify this document
under the terms of the GNU Free Documentation License, Version 1.1 or
any later version published by the Free Software Foundation; with no
Invariant Sections and with the Front-Cover Texts being ``Introduzione
allo Shell scripting, Domenico Delle Side'' (any kind of text layout
is allowed). A copy of the license is included in appendix ``A. GNU
Free Documentation License''.