-
Vincent Lefèvre authored
This command was needed in the past, but it now generates a warning "@refill is obsolete" (as of Texinfo 6.8 - 2021-07-03). It is no longer needed, as least since Texinfo 4.2: https://ftp.gnu.org/old-gnu/Manuals/texinfo-4.2/html_node/Refilling-Paragraphs.html
b7cd3516