]> git.ipfire.org Git - thirdparty/tor.git/commit
Replace man_MANS with nodist_man1_MANS
authorJim Meyering <meyering@redhat.com>
Thu, 23 Aug 2012 16:36:31 +0000 (12:36 -0400)
committerNick Mathewson <nickm@torproject.org>
Thu, 23 Aug 2012 16:36:33 +0000 (12:36 -0400)
commit8f60f70e213376f329e49ae46b4bb1b82f350aba
tree720a4811b123ea4007e47fa33d24a892bbf82cbb
parent0df149ff6e1ac86d23282a8904851f8897d68cec
Replace man_MANS with nodist_man1_MANS

(commit message by nickm)
doc/include.am