infopipe bug fixed; configure/doc updates
[monky] / doc / docgen.sh
2005-08-24 Jason Tanchanged docgen.sh to no longer do gzipping, also replac...
2005-08-22 Brenden Matthewsdocgen should be happy now
2005-08-22 Jason Tanchanged docgen.sh to be more flexible
2005-08-22 Brenden Matthewsdocgen