diff options
Diffstat (limited to 'doc/misc')
| -rw-r--r-- | doc/misc/url.texi | 2 |
1 files changed, 0 insertions, 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 |