aboutsummaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorMattias Andrée <maandree@operamail.com>2015-08-21 18:34:52 +0200
committerMattias Andrée <maandree@operamail.com>2015-08-21 18:34:56 +0200
commit0001e4814b43b6a413093d1b4e3964ce0e7933cd (patch)
tree961138fca6f1b20c8eb68255f9d7244a74e93452 /doc
parenttypo (diff)
downloadmds-0001e4814b43b6a413093d1b4e3964ce0e7933cd.tar.gz
mds-0001e4814b43b6a413093d1b4e3964ce0e7933cd.tar.bz2
mds-0001e4814b43b6a413093d1b4e3964ce0e7933cd.tar.xz
m info
Signed-off-by: Mattias Andrée <maandree@operamail.com>
Diffstat (limited to 'doc')
-rw-r--r--doc/info/mds.texinfo15
1 files changed, 9 insertions, 6 deletions
diff --git a/doc/info/mds.texinfo b/doc/info/mds.texinfo
index 58f4757..a2ad809 100644
--- a/doc/info/mds.texinfo
+++ b/doc/info/mds.texinfo
@@ -13874,15 +13874,18 @@ security reasons.
@noindent
Hybrid display server could arguably be called
-milli-display servers to emphasis that they are
-small, but not as small as micro-display servers, are
+milli-display servers@footnote{Playing of the
+International System of Units and its illogical
+prefix names.} to emphasis that they are small,
+but not as small as micro-display servers, are
much more closely related to micro-display servers
than monolithic display servers, and, in constrast
with OS kernels, have a proper distinction from
monolithic systems and microsystems. @footnote{I
don't know about calling them macro-display servers,
that implies that they are the total opposite of
-micro-display servers.}
+micro-display servers, since ‘macro’ means large
+and ‘micro’ means small.}
@noindent
Implementations: none?
@@ -13992,7 +13995,7 @@ systems.
@noindent
@cpindex Gaming
Megalithic display servers could be interesting for
-high performing gaming consoles.
+high-performing gaming consoles.
@@ -14121,8 +14124,8 @@ display server protocol.
@end itemize
@noindent
-Exo-display servers could be interesting for high
-performing gaming consoles.
+Exo-display servers could be interesting for
+high-performing gaming consoles.