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
Nmh-workers(_at_)nongnu(_dot_)org
https://lists.nongnu.org/mailman/listinfo/nmh-workers