Tom Lane wrote:
> This gmake will leave some crud files that you don't want in the
> distro. Instead of 'cp' I'd suggest
> mv -f HISTORY INSTALL ../../..
> gmake clean
The "make dist" step will do its own cleaning.
Сайт использует файлы cookie для корректной работы и повышения удобства. Нажимая кнопку «Принять» или продолжая пользоваться сайтом, вы соглашаетесь на их использование в соответствии с Политикой в отношении обработки cookie ООО «ППГ», в том числе на передачу данных из файлов cookie сторонним статистическим и рекламным службам. Вы можете управлять настройками cookie через параметры вашего браузера