--- Begin Message ---
Subject: |
thotbook: GIF files |
Date: |
Sat, 19 Jan 2002 12:50:47 -0500 |
Hi,
Could you please remove the following GIF files from the project
thotbook hosted on the GNU machines ?
For an explanation on why there are not GIF files on the GNU
machines read http://www.gnu.org/philosophy/gif.html. This policy was
established years ago by the GNU project and is an integral part of
the requirements for every project registering on savannah.gnu.org
(see http://savannah.gnu.org/register/requirements.php).
The home page of your project is
http://savannah.gnu.org/projects/thotbook/
You can convert GIF files to PNG using the gif2png program.
http://www.tuxedo.org/~esr/gif2png/gif2png-2.4.2.tar.gz
Here is a sample script to convert the GIF files that are in
the sources of thotbook to PNG.
export CVS_RSH=ssh
mkdir tmp
cd tmp
cvs -d address@hidden:/cvsroot/thotbook co .
while read file
do
gif2png -O $file.gif
cvs delete -f $file.gif
cvs add $file.png
done <<'EOF'
libthot/libjpeg/testimg
thoteditor/doc/button
thoteditor/doc/thoteditor/Bilbon
thoteditor/doc/thoteditor/Sources
thoteditor/doc/thoteditor/mainwindow
thoteditor/doc/thoteditor/opera
thoteditor/doc/thoteditor/outils
thoteditor/doc/thoteditor/palette1
thoteditor/doc/thoteditor/palette2
thoteditor/doc/thoteditor/polygones
thoteditor/doc/thoteditor/thot
thoteditor/doc/thoteditor/thotdraw
thoteditor/doc/thoteditor/traits
EOF
cvs commit -m 'Convert GIF to PNG'
Thanks for your help,
The GNU volunteers, address@hidden
--- End Message ---