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, [email protected] (arlington, ma, where it's 59.7 degrees) _______________________________________________ Nmh-workers mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/nmh-workers
