[Mailman-Users] Changing mailman hostname?

[John McGarrigle]

Hey,

Currently mailman has picked up the default hostname for the box on
./configure (let's say its box1.uk.foo.bar). Basically, I want to know how I
can manually set this to, say mail.uk.foo.bar).

It's probibally really simple, but y'know... I'm stupid :)

Thanks,

----
John 'Neuron' McGarrigle
Email: johnm at ic5.net
ICQ: 18220396
Phone: +44 (0)7944 604 644
----