images/changes-merge.xpm \
images/changes-output.xpm \
images/changes-track.xpm \
+ images/closetab.xpm \
images/copy.xpm \
images/cut.xpm \
images/demote.xpm \
scripts/clean_dvi.py \
scripts/convertDefault.py \
scripts/date.py \
+ scripts/ext_copy.py \
scripts/fen2ascii.py \
scripts/fig2pdftex.py \
scripts/fig2pstex.py \