Re: remove separate postgres.(sh)description files

On Sun, Jan 19, 2020 at 7:58 PM Heikki Linnakangas <hlinnaka@iki.fi> wrote:
>
> > On Wed, Jan 08, 2020 at 02:33:23PM +0200, Heikki Linnakangas wrote:
> >> Grepping around, there are a few stray references to
> >> postgres.description still:
> >>
> >> $ git grep -r -I postgres.shdescript .
> >> src/backend/catalog/.gitignore:/postgres.shdescription
> >> src/backend/catalog/Makefile:# postgres.bki, postgres.description,e0ed6817c0..7aaefadaac
> >> postgres.shdescription,
> >> src/tools/msvc/clean.bat:if %DIST%==1 if exist
> >> src\backend\catalog\postgres.shdescription del /q
> >> src\backend\catalog\postgres.shdescription
>
> Pushed, thanks!

Thanks for taking care of those loose ends -- that was a bit sloppy of me.

-- 
John Naylor                https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services