Create A5 hardcopy books form GNU texinfo files

texi2book

1. Add the @afivepaper command before the end of header.
2. Create the dvi file:
$ texi2dvi4a2ps FILE.texi
3. If needed, center the content:
$ dvips -t a5 -O -11mm,0mm -o FILE.ps FILE.dvi
4. Create the PostScript book:
$ cat FILE.ps | psbook -s4 | psnup -2 -Pa5 -m0 -d0 > FILE_book.ps
5. Create the PDF file:
$ ps2pdf -sPAPERSIZE=a4 -dPDFSETTINGS=/printer FILE_book.ps FILE_book.pdf