makeinfo-options