Index: maxima-5.40.0/doc/info/maxima.texi
===================================================================
--- maxima-5.40.0/doc/info/maxima.texi
+++ maxima-5.40.0/doc/info/maxima.texi	2017-06-03 10:42:57.820534023 +0200
@@ -1,5 +1,6 @@
 \input texinfo
 @setfilename  maxima.info
+@afourpaper
 @finalout
 @include include-maxima.texi
 @bye