Commit 619efeff57320a167a3b30519a5d2b6ecb008d4f

Paul Eggert 2002-10-09T00:02:40

(%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.