Replace man_MANS with nodist_man1_MANS

(commit message by nickm)

diff --git a/doc/include.am b/doc/include.am
index 174cf4e3aae9ebb1addd0782215eabe404b02419..011cc7fd0d6c40a6e9447a99dca708f88e416fa8 100644 (file)
--- 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