addmenu is only required on www.infodrom.org, but not on
authorJoey Schulze <joey@infodrom.org>
Fri, 19 Apr 2002 18:02:08 +0000 (18:02 +0000)
committerJoey Schulze <joey@infodrom.org>
Fri, 19 Apr 2002 18:02:08 +0000 (18:02 +0000)
commitc57e9bd104ee432a1ad4f87f3f67b107eb5b3cb4
tree0441afc4e587c3833d94fb65782a37601b9bb527
parent14793d90c71da7f7a8cee65624899b9320acdf3c
addmenu is only required on infodrom.org, but not on
service.infodrom.org, so we can remove it from this copy.
bin/wmldepend.sh