gap-gapdoc (1.5.1-3) unstable; urgency=low * patch: - doc-makefile: also build and install manual.lab * debian/rules: - do not install makedocrel.g * debian/gap-gapdoc.doc-base.gapdoc-example: - improve abstract -- Bill Allombert <email address hidden> Sat, 16 May 2015 22:30:11 +0200