diff options
author | Jim Meyering <meyering@redhat.com> | 2012-08-23 12:36:31 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2012-08-23 12:36:33 -0400 |
commit | 8f60f70e213376f329e49ae46b4bb1b82f350aba (patch) | |
tree | 720a4811b123ea4007e47fa33d24a892bbf82cbb /doc | |
parent | 0df149ff6e1ac86d23282a8904851f8897d68cec (diff) | |
download | tor-8f60f70e213376f329e49ae46b4bb1b82f350aba.tar.gz tor-8f60f70e213376f329e49ae46b4bb1b82f350aba.zip |
Replace man_MANS with nodist_man1_MANS
(commit message by nickm)
Diffstat (limited to 'doc')
-rw-r--r-- | doc/include.am | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/doc/include.am b/doc/include.am index 174cf4e3aa..011cc7fd0d 100644 --- a/doc/include.am +++ b/doc/include.am @@ -17,10 +17,10 @@ all_mans = $(regular_mans) doc/tor-fw-helper if USE_ASCIIDOC if USE_FW_HELPER -man_MANS = $(all_mans:=.1) +nodist_man1_MANS = $(all_mans:=.1) doc_DATA = $(all_mans:=.html) else -man_MANS = $(regular_mans:=.1) +nodist_man1_MANS = $(regular_mans:=.1) doc_DATA = $(regular_mans:=.html) endif html_in = $(all_mans:=.html.in) @@ -30,7 +30,7 @@ else html_in = man_in = txt_in = -man_MANS = +nodist_man1_MANS = doc_DATA = endif @@ -42,7 +42,7 @@ EXTRA_DIST+= doc/HACKING doc/asciidoc-helper.sh \ docdir = @docdir@ -asciidoc_product = $(man_MANS) $(doc_DATA) +asciidoc_product = $(nodist_man1_MANS) $(doc_DATA) # Generate the html documentation from asciidoc, but don't do # machine-specific replacements yet |