doc/src/sgml/Makefile asserts
# Regular TeX and pdfTeX have slightly differing requirements, so we
# need to distinguish the path we're taking.
However, diff'ing the results shows that the .tex-pdf and .tex-ps output
files are actually identical. Would it be reasonable to simplify the
Makefile by eliminating the separate build rules? I guess we'd have to
make an arbitrary choice between texdvi-output and texpdf-output flags.
regards, tom lane