Fixed reported file name when recompiling for tagdoc manual. Rev: server/modules/graphics/cimg.pike:1.66 Rev: server/modules/graphics/gbutton.pike:1.110 Rev: server/modules/tags/rxmltags.pike:1.464