mirror of
https://git.postgresql.org/git/postgresql.git
synced 2024-08-27 19:57:19 +02:00
generated text files. Fix build of that file, too. Put the text files in the right place during make dist, so there are no extra manual steps required anymore. |
||
---|---|---|
.. | ||
bench | ||
examples | ||
locale | ||
mb | ||
performance | ||
regress | ||
thread | ||
Makefile |