make dist should generate the pom.xml

[robe]

We recently changed the build — evidentally around Marchish since that is when debbie's jdbc jar builder broke.

In fixing it up, I realized our make dist does not generate the pom.xml and trying to get it is a bit of a pain, since I think it requires running the whole configure process (unless you want to manually mess with the files).

I'm going to revise to build as part of the make dist process.

[robe]

I had attempted to fix the issue at r13634 but guess I broke things.

To which strk put in a complaint at #3160

[strk]

r13671 re-enables it. Works for me, does it work there ?

[robe]

I think that's what I ended up writing on debbie's make_dist script. So will close this out. I see her tar ball now includes pom.xml.

[robe]

now separate project