texinfoではimageをimg要素として出力するので、sedで置換
@item @* @image{img/2_4-04,5cm,,,.svg} @*
-@code{RPOP}命令は,スタックの内容を順次取り出し,@code{GR7},@code{GR6},…,@code{GR1}の順で@code{GR}に格納する。`
+@code{RPOP}命令は,スタックの内容を順次取り出し,@code{GR7},@code{GR6},…,@code{GR1}の順で@code{GR}に格納する。
@end enumerate
@section 機械語命令
%.html: %.texi
$(MAKEINFO) -o $@ --no-split --html --css-include=$(CSS) $<
+ $(SED) -i '' -e 's%<img src="\([^"]*\)" alt="[^"]*">%<object type="image/svg+xml" data="\1"></object>%g' $@
%_html: %.texi
if test ! -e $@; then $(MKDIR) $@; fi
$(CP) $(CSS) $@/
$(MAKEINFO) -o $@ --html --css-ref=$(CSS) $<
+ $(SED) -i '' -e 's%<img src="\([^"]*\)" alt="[^"]*">%<object type="image/svg+xml" data="\1"></object>%g' $@
%.html %_html: $(CSS)