diff options
author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-02-18 06:06:11 +0100 |
---|---|---|
committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-02-18 06:06:11 +0100 |
commit | cfc9644eb370055a70f3f00a957171630d207007 (patch) | |
tree | 1461e5c25a9baed0ade4a07c72d42ee00f6d4a0f /doc/Makefile.am | |
parent | bab7c91f8913505c53611c774e9a30fd243bbd83 (diff) | |
download | mdk-cfc9644eb370055a70f3f00a957171630d207007.tar.gz mdk-cfc9644eb370055a70f3f00a957171630d207007.tar.bz2 |
Additional samples and doc from TAOCP, via ESR's MIXAL
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r-- | doc/Makefile.am | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index e9c18b8..fbc122c 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -19,3 +19,5 @@ mdk_TEXINFOS = mdk_intro.texi mdk_ack.texi mdk_tut.texi mdk_gstart.texi \ mdk_index.texi mdk_gmixvm.texi mdk_install.texi \ mdk_mixguile.texi mdk_copying.texi mdk_findex.texi +EXTRA_DIST = MIX.DOC COPYING.MIX.DOC + |