debian/0000755000000000000000000000000012174567410007175 5ustar debian/dirs0000644000000000000000000000001712174444076010061 0ustar usr/share/gap/ debian/compat0000644000000000000000000000000212174444076010375 0ustar 5 debian/copyright0000644000000000000000000000127212174444076011134 0ustar This package was debianized by Bill Allombert on Sun, 23 Jun 2013 20:18:50 +0200 It was downloaded from GAPDoc "A Meta Package for GAP Documentation" Authors: Frank Lübeck, Max Neunhöffer Copyright: Copyright 2000-2012 by Frank Lübeck and Max Neunhöffer GAPDoc is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. On Debian GNU/Linux systems, the complete text of the GNU General Public License can be found in `/usr/share/common-licenses/GPL'. debian/control0000644000000000000000000000142712174444076010606 0ustar Source: gap-gapdoc Section: math Priority: optional Maintainer: Bill Allombert Build-Depends: debhelper (>> 5.0.0) Standards-Version: 3.9.4 Homepage: http://www.gap-system.org Package: gap-gapdoc Provides: gap-pkg-gapdoc Architecture: all Depends: ${misc:Depends} Description: GAPDoc meta package for GAP documentation GAP is a system for computational discrete algebra with particular emphasis on computational group theory, but which has already proved useful also in other areas. In the example text, gap is used to analyse Rubik's Cube using group theory. A kernel implements a Pascal-like language. . This package contains GAPDoc, "A Meta Package for GAP Documentation", by Frank Lübeck and Max Neunhöffer, which is used to manage GAP documentation. debian/rules0000755000000000000000000000154112174444076010260 0ustar #!/usr/bin/make -f # Sample debian/rules that uses debhelper. # GNU copyright 1997 to 1999 by Joey Hess. # Modified for GAP by Bill Allombert 2003 # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 build-arch: build-indep: build: build-arch build-indep clean: dh_testdir dh_testroot dh_clean install: build dh_testdir dh_testroot dh_prep dh_installdirs dh_install -X debian -X GPL -X README -X CHANGES . usr/share/gap/pkg/gapdoc rm -rf debian/gap-gapdoc/usr/share/gap/pkg/gapdoc/*/clean binary-arch: build-arch binary-indep: build-indep install dh_testdir dh_testroot dh_installdocs README dh_installexamples dh_installchangelogs CHANGES dh_link dh_compress dh_fixperms dh_installdeb dh_gencontrol dh_md5sums dh_builddeb binary: binary-indep binary-arch .PHONY: build clean binary-indep binary-arch binary install configure debian/doc-base0000644000000000000000000000135512174444076010603 0ustar Document: gap-gapdoc Title: GAPDoc, A Meta Package for GAP Documentation Author: Frank Lübeck, Max Neunhöffer Abstract: The main purpose of the GAPDoc package is to define a file format for documentation of GAP- programs and -packages. The problem is that such documentation should be readable in several output formats. For example it should be possible to read the documentation inside the terminal in which GAP is running (a text mode) and there should be a printable version in high typesetting quality (produced by some version of TeX). It is also popular to view GAP's online help with a Web-browser via an HTML-version of the documentation. Section: Science/Mathematics Format: pdf Files: /usr/share/doc/gap-gapdoc/doc/manual.pdf debian/changelog0000644000000000000000000000036512174464004011046 0ustar gap-gapdoc (1.5.1-1) unstable; urgency=low * Initial Release. * This is part of the GAP system. This package is necessary to build the documentation of gap 4r6. -- Bill Allombert Fri, 26 Jul 2013 11:58:22 +0200 debian/README.source0000644000000000000000000000031012174563475011355 0ustar GAPDOC sources for Debian ------------------------- The mathml directory has been removed pending clarification by upstream. -- Bill Allombert Fri, 26 Jul 2013 14:12:30 +0200 debian/links0000644000000000000000000000026612174444076010246 0ustar usr/share/gap/pkg/gapdoc/doc usr/share/doc/gap-gapdoc/doc usr/share/gap/pkg/gapdoc/example usr/share/doc/gap-gapdoc/example usr/share/gap/pkg/gapdoc/doc usr/share/doc/gap-gapdoc/doc debian/source/0000755000000000000000000000000012174566327010503 5ustar debian/source/format0000644000000000000000000000001412174566323011705 0ustar 3.0 (quilt)