diff options
Diffstat (limited to 'manual/summary.awk')
-rw-r--r-- | manual/summary.awk | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/manual/summary.awk b/manual/summary.awk index aeb41f42dc..4cd9826fe0 100644 --- a/manual/summary.awk +++ b/manual/summary.awk @@ -13,9 +13,8 @@ # Lesser General Public License for more details. # You should have received a copy of the GNU Lesser General Public -# License along with the GNU C Library; if not, write to the Free -# Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA -# 02111-1307 USA. +# License along with the GNU C Library; if not, see +# <http://www.gnu.org/licenses/>. # This script recognizes sequences that look like: # @comment HEADER.h |