PR: 3570 Submitted by: Philippe Charnier <charnier@xp11.frmug.org>
Submitted by: Shigio Yamaguchi <shigio@wafu.netgate.net>
for this is already in place, so "make tags" (or "make tags HTML=yes") should work after your next make world. Submitted by: Shigio Yamaguchi <shigio@wafu.netgate.net>