info: Clean up references to long-gone options
authorMarkus Armbruster <armbru@pond.sub.org>
Mon, 4 Jan 2021 07:52:10 +0000 (08:52 +0100)
committerMarkus Armbruster <armbru@pond.sub.org>
Sat, 23 Jan 2021 07:39:13 +0000 (08:39 +0100)
commitdf7e8b3d21a5a9f281b7ab59209dd19a2abc060f
treeb02be8465598de8181faec9ecf1de2aac4c4cb55
parent125b5df9af01fbe3d302695a71ca8f17ce5d62e0
info: Clean up references to long-gone options

Option DEFENSE_INFRA was replaced in commit 4d1dd6fa6, v4.3.6.  Point
to the replacement instead.

Options SHIPCHOPPERS and XLIGHT were made non-optional in Empire 2.
Don't mention them.

Signed-off-by: Markus Armbruster <armbru@pond.sub.org>
info/Infrastructure.t
info/Ship-types.t