manual-dev publishes from non-master branches

[strk]

Today I found that ​https://postgis.net/docs/manual-dev/postgis-fr.html was built from a commit ( [42f417e/git] ) which was NOT in the master branch at the time I was looking.

The commit was in an xsl-config branch, which I pushed to the official repository.

While it's nice to be able to see the effects of work done in a branch, I'm not sure it's good to have it in the /manual-dev/ root.

[robe]

The build is controlled by ​https://debbie.postgis.net/view/PostGIS/job/PostGIS_Make_Dist

There are two ways to handle this.

1. I can put a filter on the job to ignore non-stable / master branches

or

2. we can change ci/debbie/postgis_make_dist.sh check the branch it's building and put the build in some other folder we can check.

That would satisfy your need to see and also not mess up what is linked on the website.

[strk]

I see there is also a postgis_release_docs.sh file in ci/debbie, is that one unused ?

[robe]

Replying to strk:

I see there is also a postgis_release_docs.sh file in ci/debbie, is that one unused ?

It's used. It's called by debbie's postgis_make_dist.sh.