mirror of
https://github.com/postgres/postgres.git
synced 2025-11-06 00:04:14 -05:00
BSD sed. So write it in Perl, which is more portable and a bit faster, too. We already use Perl for standard documentation builds, so this imposes no additional requirement.