That change would only be effective for DVI output so you would have to use texi2dvi.
Hi.
> If I disable changing the papersize in \internalpapersizes, like this:
>
> Index: texinfo.tex
> ===================================================================
> --- texinfo.tex (revision 8191)
> +++ texinfo.tex (working copy)
> @@ -11328,7 +11328,7 @@
> \pdfvorigin = 1 true in
> \else
> \ifx\XeTeXrevision\thisisundefined
> - \special{papersize=#8,#7}%
> + %\special{papersize=#8,#7}%
> \else
> \pdfpageheight #7\relax
> \pdfpagewidth #8\relax
>
> and use @smallbook and @cropmarks, the lower cropmarks are indeed
> visible. They were invisible before because they had disappeared off
> the bottom of the page - probably they are being printed too far down.
With Texinfo 2018-09-21.20 and this change, I still don't see the
bottom crop marks. I'm using texi2pdf to make the PDF and evince
to view it.
Thanks,
Arnold