Hi, Running autogen.sh I get the following warning: EXTRA_DIST: variable `man_MANS' is used but `man_MANS' is undefined Could it be this got introduced with the recent man page fixes? Leonard. -- mount -t life -o ro /dev/dna /genetic/research