From 682118f5a06eebdc38767047e65d42aa9356cfe8 Mon Sep 17 00:00:00 2001 From: Noam Postavsky Date: Sat, 14 Apr 2018 01:58:38 -0400 Subject: [PATCH] ; * doc/misc/url.texi (file/ftp): Remove stray '@end defopt'. --- doc/misc/url.texi | 2 -- 1 file changed, 2 deletions(-) diff --git a/doc/misc/url.texi b/doc/misc/url.texi index 8967c71301d..a8ac1179751 100644 --- a/doc/misc/url.texi +++ b/doc/misc/url.texi @@ -571,8 +571,6 @@ if it has the file suffix @file{.z}, @file{.gz}, @file{.Z}, hard-coded, and cannot be altered by customizing @code{jka-compr-compression-info-list}.) -@end defopt - @node info @section info @cindex Info -- 2.39.5