(%DEST_PREFIX%%DEST_SUFFIX%, %DEST_PREFIX%.dvi, %DEST_PREFIX%.pdf): Use "makeinfo -o output input", not "makeinfo input -o output", as the latter fails if POSIXLY_CORRECT=1.