build: Respect --docdir.
authorJan Nieuwenhuizen <janneke@gnu.org>
Sun, 22 Jul 2018 12:44:50 +0000 (14:44 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Sun, 22 Jul 2018 12:44:50 +0000 (14:44 +0200)
commitceeaa6b50cb43786bfa29fb53e3379bff9f686ec
treea34853fa1e7364874dd64212e36e3940b7853639
parent4203a427d0bd856b07c587aea7cb4268f29097fa
build: Respect --docdir.

* configure: Respect --docdir.
build-aux/export.make
configure
install.sh