From a99665cf38b0a237d6d0afed09a061ee0080cb19 Mon Sep 17 00:00:00 2001 From: Stefan Kangas Date: Tue, 6 Sep 2022 13:48:49 +0200 Subject: [PATCH] * doc/misc/semantic.texi: Delete unused macro. --- doc/misc/semantic.texi | 10 +--------- 1 file changed, 1 insertion(+), 9 deletions(-) diff --git a/doc/misc/semantic.texi b/doc/misc/semantic.texi index eb5c7e0e677..25ba30d13c9 100644 --- a/doc/misc/semantic.texi +++ b/doc/misc/semantic.texi @@ -25,8 +25,7 @@ @copying This manual documents the Semantic library and utilities. -Copyright @copyright{} 1999--2005, 2007, 2009--2022 Free Software -Foundation, Inc. +Copyright @copyright{} 1999--2022 Free Software Foundation, Inc. @quotation Permission is granted to copy, distribute and/or modify this document @@ -65,13 +64,6 @@ modify this GNU manual.'' @b{\kw\} @end macro -@macro obsolete{old,new} -@sp 1 -@strong{Compatibility}: -@code{\new\} introduced in @semantic{} version 2.0 supersedes -@code{\old\} which is now obsolete. -@end macro - @c ************************************************************************* @c @ Document @c ************************************************************************* -- 2.39.2