images/buffer-write-as.svgz \
images/buffer-write.svgz \
images/build-program.svgz \
- images/busy.gif \
+ images/busy.svgz \
images/change-accept.svgz \
images/change-next.svgz \
images/change-reject.svgz \
scripts/convert_pdf.py \
scripts/convertDefault.py \
scripts/csv2lyx.py \
+ scripts/docbook_copy.py \
scripts/ext_copy.py \
scripts/fen2ascii.py \
scripts/fig2pdftex.py \