In a message of Sun, 25 Sep 2016 14:05:15 -0400, Paul Fox writes: >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
Problem: I didn't know that replyfilter and docs/contrib/replyfilter existed. I'd like a solution where <some-mh-command> -version pointed me at something that told me that this existed. Laura _______________________________________________ Nmh-workers mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/nmh-workers
