Replace man_MANS with nodist_man1_MANS

(commit message by nickm)

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