@(if [ -f ${DOC}/imagename_translations ] ; then \
./translate_images.pl --to_meaningful_names ${DOC}/Developer*Guide.html; \
fi)
@rm -rf ${DOC}/*.html
latex2html -split 4 -local_icons -t "Developer's Guide" -long_titles 4 \
@(if [ -f ${DOC}/imagename_translations ] ; then \
./translate_images.pl --to_meaningful_names ${DOC}/Developer*Guide.html; \
fi)
@rm -rf ${DOC}/*.html
latex2html -split 4 -local_icons -t "Developer's Guide" -long_titles 4 \