diff options
Diffstat (limited to 'doc/install.doc')
| -rw-r--r-- | doc/install.doc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/install.doc b/doc/install.doc index 9fc0fef..2bf254b 100644 --- a/doc/install.doc +++ b/doc/install.doc @@ -10,7 +10,8 @@ * for any purpose. It is provided "as is" without express or implied warranty. * See the GNU General Public License for more details. * - * All output generated with Doxygen is not covered by this license. + * Documents produced by Doxygen are derivative works derived from the + * input used in their production; they are not affected by this license. * */ /*! \page install Installation |