diff options
Diffstat (limited to 'doc/misc/viper.texi')
-rw-r--r-- | doc/misc/viper.texi | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/misc/viper.texi b/doc/misc/viper.texi index cfaf4e66d85..f449e3b738b 100644 --- a/doc/misc/viper.texi +++ b/doc/misc/viper.texi @@ -5,8 +5,7 @@ @comment @setfilename viper @comment @setfilename viper.info @setfilename ../../info/viper.info - -@documentencoding UTF-8 +@include docstyle.texi @copying Copyright @copyright{} 1995--1997, 2001--2015 Free Software Foundation, Inc. |