; * doc/misc/url.texi (file/ftp): Remove stray '@end defopt'.

diff --git a/doc/misc/url.texi b/doc/misc/url.texi
index 8967c71301dceccce65695d33393d07b3302e365..a8ac1179751594723450e0a18eb823db10bec5de 100644 (file)
--- 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