Add make dist rule for doc/misc/Makefile, for www.gnu.org
authorGlenn Morris <rgm@gnu.org>
Wed, 19 Jun 2013 07:01:22 +0000 (00:01 -0700)
committerGlenn Morris <rgm@gnu.org>
Wed, 19 Jun 2013 07:01:22 +0000 (00:01 -0700)
commit09af5c3e89979e90113f4c21eb8cb5cfe3ff9a07
treecdec7a5bd19fd10f7ad7232891337d213f602cd3
parentfc4893ebe8a19eec66fd842ffe1e8237417ff769
Add make dist rule for doc/misc/Makefile, for gnu.org

* doc/misc/Makefile.in (version): New, set by configure.
(clean): Delete dist tar file.
(infoclean): New, split from maintainer-clean.
(maintainer-clean): Run infoclean.
(dist): New rule, to make tarfile for www.gnu.org.
doc/misc/ChangeLog
doc/misc/Makefile.in