Use Autoconf output files to fill in variables in man pages instead of manually invoking sed on them.