]> Savannah Git Hosting - mdk.git/commitdiff

Savannah Git Hosting - mdk.git/commitdiff

git git@sv / mdk.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: d5d6eb1)
minor changes
Thu, 5 Aug 2004 21:12:06 +0000 (21:12 +0000)
Thu, 5 Aug 2004 21:12:06 +0000 (21:12 +0000)

diff --git a/doc/mdk.texi b/doc/mdk.texi
index 7dd6a52edd7fd0760214c5d04074db82bd9b5781..033c63affe6f70d7717e4f696d0d9841d9bf9733 100644 (file)
--- a/doc/mdk.texi
+++ b/doc/mdk.texi
@@ -3,9 +3,9 @@
@setfilename mdk.info
@settitle GNU MIX Development Kit (mdk)
@syncodeindex pg cp
-@c @finalout
+@finalout
@setchapternewpage odd
-@c $Id: mdk.texi,v 1.25 2004年08月04日 21:33:41 jao Exp $
+@c $Id: mdk.texi,v 1.26 2004年08月05日 21:12:06 jao Exp $
@c %**end of header
@set UPDATED August, 2004
@@ -19,7 +19,7 @@
@copying
This manual is for GNU MDK (version @value{VERSION}, @value{UPDATED}),
a set of utilities for developing programs using Donald Knuth's MIX
-language.
+mythical computer and MIXAL, its assembly language.
Copyright @copyright{} 2000, 2001, 2002, 2003, 2004 Free Software Foundation, Inc.
@@ -96,8 +96,6 @@ user interface.
-
-
@detailmenu
--- The Detailed Node Listing ---
GNU MIX Development Kit (MDK)
RSS Atom

AltStyle によって変換されたページ (->オリジナル) /