david wrote:
Paul wrote:
any reason we couldn't in principle have a separate git tree on
savannah just for "compiled" man pages, and other docs?
Is there really a need?
true, i wondered that too.
And a separate tree is more likely to get out of sync.
i figured it would only be built at "new release announce" time.
paul
=----------------------
paul fox, pgf(_at_)foxharp(_dot_)boston(_dot_)ma(_dot_)us (arlington, ma,
where it's 59.7 degrees)
_______________________________________________
Nmh-workers mailing list
Nmh-workers(_at_)nongnu(_dot_)org
https://lists.nongnu.org/mailman/listinfo/nmh-workers