Files
nethack/doc
PatR 01abfa8c3d yet another Guidebook update
A couple of \e to \\ changes, a whole bunch of ^ to \(ha changes
(similar character but bigger so easier to see), ~ to \(ti (ditto),
and - to \- (first is a hyphen, second is a minus sign which is
bigger; see the difference for "- and | The walls of a room...").

As well as horizontal walls, open doors, top and bottom of swallow
and explode octagons, I changed command line switches -s, -X, and -D
to use minus sign.  I was unsure whether the umpteen M-C should be
changed too.  Since it was less work to leave them as-is, that's
what I did.  I also left ^C with smaller circumflex punctation
instead of changing to bigger circumflex character for same reason.

The [much smaller] Guidebook.tex changes need testing.

Not fixed:
I think the sentence "you can type 'nethack -s all' on most versions"
is very misleading.  Using 'versions' to refer to the various ports
rather than different releases is iffy, but my complaint is that
"typing something" sounds like an action you would perform while in
the game.  Access to a command line and figuring out how to invoke
nethack from there is probably not something where "most versions"
applies any more.  But I don't know how to rephrase that succinctly.
If I did, I would have just changed it....
2018-04-20 00:20:31 -07:00
..
2015-03-31 09:50:02 -04:00
2018-04-14 19:01:15 -04:00
2016-05-22 00:00:06 +03:00
2015-05-25 09:21:31 +09:00
2002-01-05 21:05:47 +00:00
2015-05-25 09:21:31 +09:00
2002-01-05 21:05:47 +00:00
2002-01-11 18:02:22 +00:00
2015-05-25 09:21:31 +09:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2002-01-05 21:05:47 +00:00
2003-05-11 13:40:01 +00:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:31 +09:00
2015-05-25 09:21:31 +09:00
2018-04-20 00:20:31 -07:00
2018-04-20 00:20:31 -07:00
2018-04-07 08:38:17 -04:00
2002-01-05 21:05:47 +00:00
2018-04-15 16:12:19 -04:00
2010-05-01 23:10:22 +00:00
2018-02-23 19:50:28 -05:00
2018-02-23 19:50:28 -05:00
2018-04-15 16:41:42 -07:00
2017-09-26 10:04:25 +03:00