I have uploaded version 0.4.0 of linuxdoc-tools into: <http://www.debian.org/~sano/linuxdoc-toos/> If you are interested, then please check it. -- Taketoshi Sano: <sano@debian.org>,<sano@debian.or.jp>,<kgh12351@nifty.ne.jp>