]> git.pond.sub.org Git - empserver/commit
(sctintrins): New member in_enable. Update infra.config. Use it
authorMarkus Armbruster <armbru@pond.sub.org>
Fri, 16 Jun 2006 18:39:35 +0000 (18:39 +0000)
committerMarkus Armbruster <armbru@pond.sub.org>
Fri, 16 Jun 2006 18:39:35 +0000 (18:39 +0000)
commit4d1dd6fa6ae0e418063ac29791730c238aa293ed
treeb347da2bc78f83db34a193e58b3d81dfaab8b3b3
parent2c2b3f7b1d8887072dcdfd4215b2501980677ef9
(sctintrins): New member in_enable.  Update infra.config.  Use it
instead of opt_DEFENSE_INFRA.
(improve): Test for it.
(show_sect_build): Show only enabled infrastructure.
(opt_DEFENSE_INFRA): Remove.  Deities can edit infra.config instead.

(improve): Dumb down prompt.
include/econfig-spec.h
include/sect.h
src/lib/commands/improve.c
src/lib/global/infra.config
src/lib/global/nsc.c
src/lib/global/options.c
src/lib/subs/show.c