Remove unused configure output variable
commitfc20bd940f41ef0784dba64c6518ddad7b63dca1
authorGlenn Morris <rgm@gnu.org>
Sun, 8 Jan 2017 18:19:48 +0000 (8 10:19 -0800)
committerGlenn Morris <rgm@gnu.org>
Sun, 8 Jan 2017 18:19:48 +0000 (8 10:19 -0800)
tree456fe15139a66dc4d9d0d7f60cfdc3a2c4c8e4da
parent25d3297bb9c8feddac2e8bc018e6bc50603ba4a9
Remove unused configure output variable

* configure.ac (GNULIB_MK):
* Makefile.in (gnulib_mk): Remove, no longer used.
Makefile.in
configure.ac