diff options
author | Paul Eggert <eggert@cs.ucla.edu> | 2022-03-29 15:20:07 -0700 |
---|---|---|
committer | Paul Eggert <eggert@cs.ucla.edu> | 2022-03-29 16:37:06 -0700 |
commit | c43b7c93f21ab8e1ab6d06594810381fec8ea714 (patch) | |
tree | 7ef16c3768bfc251cf2794119262dc25e85b35b1 | |
parent | 78b29bdde523b72748049f3cf05698b9dabf52ae (diff) | |
download | gzip-c43b7c93f21ab8e1ab6d06594810381fec8ea714.tar.gz |
doc: omit @refill
* doc/gzip.texi: Remove @refill to suppress warning
‘gzip.texi:562: warning: @refill is obsolete.’ from makeinfo 6.8.
-rw-r--r-- | doc/gzip.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/gzip.texi b/doc/gzip.texi index 3909afe..fc4368a 100644 --- a/doc/gzip.texi +++ b/doc/gzip.texi @@ -559,7 +559,7 @@ message the hardware and operating system, the compiler used to compile @command{gzip}, a description of the bug behavior, and the input to @command{gzip} that triggered -the bug.@refill +the bug. @node GNU Free Documentation License @appendix GNU Free Documentation License |