diff options
Diffstat (limited to 'doc/misc/url.texi')
| -rw-r--r-- | doc/misc/url.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/misc/url.texi b/doc/misc/url.texi index 8c4afbe28b6..d94b19f77b6 100644 --- a/doc/misc/url.texi +++ b/doc/misc/url.texi @@ -1,8 +1,7 @@ \input texinfo @setfilename ../../info/url.info @settitle URL Programmer's Manual - -@documentencoding UTF-8 +@include docstyle.texi @iftex @c @finalout |