diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index b06824a..25a86b5 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -10,7 +10,7 @@ # WITHOUT ANY WARRANTY, to the extent permitted by law; without even the # implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. -# $Id: Makefile.am,v 1.7 2001/09/28 23:11:44 jao Exp $ +# $Id: Makefile.am,v 1.8 2001/09/29 01:53:51 jao Exp $ SUBDIRS = img SUFFIXES = .html @@ -19,7 +19,7 @@ info_TEXINFOS = mdk.texi mdk_TEXINFOS = mdk_intro.texi mdk_ack.texi mdk_tut.texi mdk_gstart.texi \ mdk_mixvm.texi mdk_emixvm.texi mdk_mixasm.texi mdk_bugs.texi \ mdk_index.texi mdk_gmixvm.texi mdk_install.texi \ - mdk_mixguile.texi mdk_copying.texi + mdk_mixguile.texi mdk_copying.texi mdk_findex.texi html_docs = mdk.html |