@@ -255,7 +255,7 @@ function html_align(align)
255255 end
256256end
257257
258−function CaptionedImage(src, tit, caption)
258+function CaptionedImage(src, tit, caption, attr)
259259 return '<div class="figure">\n<img src="' .. escape(src,true) ..
260260 '" title="' .. escape(tit,true) .. '"/>\n' ..
261261 '<p class="caption">' .. caption .. '</p>\n</div>'