Remove man_SPHINXOPTS from doc/arm/Makefile.in

The man_SPHINXOPTS variable is only used in doc/man/Makefile.in.  Remove
its duplicate definition from doc/arm/Makefile.in.

diff --git a/doc/arm/Makefile.in b/doc/arm/Makefile.in
index 74480da2cf2facb6cd2c5f4d4040b2fe23238904..ac847daa496a10f681613639b38b2941d3ad1491 100644 (file)
--- a/doc/arm/Makefile.in
+++ b/doc/arm/Makefile.in
@@ -40,14 +40,6 @@ ALLSPHINXOPTS =                              \
        $(SPHINXOPTS)                           \
        ${srcdir}
 
-man_SPHINXOPTS =                               \
-       $(common_SPHINXOPTS)                    \
-       -D version="@""BIND9_VERSION""@"        \
-       -D today="@""RELEASE_DATE""@"           \
-       -D release="@""BIND9_VERSIONSTRING""@"  \
-       $(SPHINXOPTS)                           \
-       ${srcdir}
-
 # Put it first so that "make" without argument just builds manpages
 all: man
        @: