build: Support all `Standard targets' for users.
authorJan Nieuwenhuizen <janneke@gnu.org>
Mon, 23 Jul 2018 18:03:57 +0000 (20:03 +0200)
committerJan Nieuwenhuizen <janneke@gnu.org>
Mon, 23 Jul 2018 18:03:57 +0000 (20:03 +0200)
commit3140b0ed44861a3c9195537312b1d420e826ff2d
tree7257017ff35b65bc9baae5959ffa9c60d43de39f
parent84a3e2e1fefd767424cfc27aa9d1a136420b8ae4
build: Support all `Standard targets' for users.

* GNUmakefile (distclean mostlyclean, maintainer-clean, html, dvi, ps,
  install-dvi, install-ps, install-html, installcheck): New target.
  (install-info): Remove fake target.
* configure (parse-opts): Add --srcdir.

xx
GNUmakefile
build-aux/GNUmakefile.in
configure