Merge from mainline.

[gnu-emacs] / doc / lispref / gpl.texi

diff --git a/doc/lispref/gpl.texi b/doc/lispref/gpl.texi
index 163af4627bbab8fa1ada4e3dfe615f8a84f9fb8f..244f3330d440a86a0664b12172df535dbbb8ae28 100644 (file)
--- a/doc/lispref/gpl.texi
+++ b/doc/lispref/gpl.texi
@@ -721,7 +721,3 @@ library, you may consider it more useful to permit linking proprietary
 applications with the library.  If this is what you want to do, use
 the GNU Lesser General Public License instead of this License.  But
 first, please read @url{http://www.gnu.org/philosophy/why-not-lgpl.html}.
-
-@ignore
-   arch-tag: d00ac830-e120-41fb-bbc5-7ca3eeaa227f
-@end ignore