doc/index.texi | 1 - diff --git a/doc/index.texi b/doc/index.texi index 5ab94d003285d80e970e0efba0775bb0039e33c2..1e8d944eb43ad9f562613f2a39969f9d490013e9 100644 --- a/doc/index.texi +++ b/doc/index.texi @@ -1,5 +1,4 @@ \input texinfo -@documentencoding UTF-8 @settitle paster @copying