to make pdf or dvi, make dist before). Requires ImageMagick
installed.
- Delete obsolete images
- Fix compilation of manual
- TODO: add txt files for missing images from the info files
- TODO: fix image sizes when generating pdf/dvi, because they're
wrong
git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@1157 3ecf2c5c-341e-0410-92b4-d18e462d057c
- Add distro files to makefile for distribution
- Add a draft of an RPM specfile
git-svn-id: svn://svn.gna.org/svn/sgpemv2/trunk@1145 3ecf2c5c-341e-0410-92b4-d18e462d057c