diff --git a/doc/dump_image.html b/doc/dump_image.html index 1e07899d3c..e7481a614b 100644 --- a/doc/dump_image.html +++ b/doc/dump_image.html @@ -378,7 +378,7 @@ file:
% convert *.jpg foo.gif -% convert *.ppm foo.mpg +% convert -loop 1 *.ppm foo.mpg