From b88295d30cc26e8970bc7849e314cd4b4e59ddbd Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Tue, 5 Jul 2016 23:24:59 -0400 Subject: [PATCH] Add copyright header to tame.texi * doc/tame.texi: Copyright header added --- doc/tame.texi | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/doc/tame.texi b/doc/tame.texi index f8929d9c..85cfde8a 100644 --- a/doc/tame.texi +++ b/doc/tame.texi @@ -1,4 +1,12 @@ \input texinfo +@c This document is part of the TAME manual. +@c Copyright (C) 2015, 2016 LoVullo Associates, Inc. +@c Permission is granted to copy, distribute and/or modify this document +@c under the terms of the GNU Free Documentation License, Version 1.3 or +@c any later version published by the Free Software Foundation; with no +@c Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. +@c A copy of the license is included in the section entitled ``GNU Free +@c Documentation License''. @include version.texi