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? And a separate tree is more likely to get out of sync. David _______________________________________________ Nmh-workers mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/nmh-workers
