$Id: rd2html-ext-opt.rb,v 1.5 2003/10/30 12:12:33 rubikitch Exp rubikitch $ Copyright© 2003 Rubikitch Licence: Ruby’s License or GPL-2+