debian/0000755000000000000000000000000011563052173007171 5ustar debian/compat0000644000000000000000000000000211561240161010361 0ustar 7 debian/copyright0000644000000000000000000000501011561250113011110 0ustar Format: http://dep.debian.net/deps/dep5 Upstream-Name: wims-help Source: those files are extracted from an installed Wims service, after refreshing the modules from the repository WimsEdu. See the file "refresh" in the source package. Files: help/student/docetud.fr/* Copyright: 2004 2007 2009 Marie-Claude David License: GNU Public License version 2 see '/usr/share/common-licenses/GPL-2' Files: help/teacher/docexooef.fr/* Copyright: 2004- 2007 2010 Bernadette PERRIN-RIOU License: GNU Public License version 2 see '/usr/share/common-licenses/GPL-2' Files: help/teacher/program.fr/* Copyright: 2007 2010 WimsEdu License: GNU Public License version 2 see '/usr/share/common-licenses/GPL-2' Files: help/teacher/docdocument.fr/* Copyright: 2004- 2007 2009 2011 Marie-Claude DAVID et Bernadette PERRIN-RIOU License: GNU Public License version 2 see '/usr/share/common-licenses/GPL-2' Files: help/teacher/faq.fr/* Copyright: 2007 2008 Association WIMSEDU License: GNU Public License version 2 see '/usr/share/common-licenses/GPL-2' Files: help/example/oefquicktool.fr/* Copyright: 2007 Bernadette Perrin-Riou License: GNU Public License version 2 see '/usr/share/common-licenses/GPL-2' Files: help/developer/docmodtooloef.fr/* Copyright: 2004 2005 2007 2011 Bernadette Perrin-Riou License: GNU Public License version 2 see '/usr/share/common-licenses/GPL-2' Files: help/developer/docqcm.fr/* Copyright: 2005 2007 2009 Bernadette Perrin-Riou License: GNU Public License version 2 see '/usr/share/common-licenses/GPL-2' Files: debian/* Copyright: 2011 Georges Khaznadar License: GPL-2+ This package is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. . This package is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. . You should have received a copy of the GNU General Public License along with this program. If not, see . On Debian systems, the complete text of the GNU General Public License version 2 can be found in "/usr/share/common-licenses/GPL-2". debian/changelog0000644000000000000000000000065211563052115011042 0ustar wims-help (4.01-2) unstable; urgency=low * fixed the mistake in the destination directory during installation. Closes: #626546 -- Georges Khaznadar Thu, 12 May 2011 23:41:34 +0200 wims-help (4.01-1) unstable; urgency=low * Initial release (Closes: #625971) * wrote debian/make-copyright to output copyright data -- Georges Khaznadar Sat, 07 May 2011 14:51:59 +0200 debian/make-copyright.py0000644000000000000000000000420111561245310012456 0ustar #!/usr/bin/python import sys, os.path, re from subprocess import call, PIPE, Popen copyright="""\ Format: http://dep.debian.net/deps/dep5 Upstream-Name: wims-help Source: those files are extracted from an installed Wims service, after refreshing the modules from the repository WimsEdu. See the file "refresh" in the source package. %s Files: debian/* Copyright: 2011 Georges Khaznadar License: GPL-2+ This package is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. . This package is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. . You should have received a copy of the GNU General Public License along with this program. If not, see . On Debian systems, the complete text of the GNU General Public License version 2 can be found in "/usr/share/common-licenses/GPL-2". """ if __name__=="__main__": path=sys.argv[1] indexes=Popen("find %s -type f -name INDEX" %path, shell=True, stdout=PIPE).communicate()[0] indexes=indexes.strip().split("\n") files="" for i in indexes: d=os.path.dirname(i) f=os.path.basename(i) author=Popen("sed -n 's/^author=\\(.*\\)/\\1/ p' %s" %i, shell=True, stdout=PIPE).communicate()[0].strip() email=Popen("sed -n 's/^address=\\(.*\\)/\\1/ p' %s" %i, shell=True, stdout=PIPE).communicate()[0].strip() copy=Popen("sed -n 's/^copyright=\\(.*\\)/\\1/ p' %s" %i, shell=True, stdout=PIPE).communicate()[0].strip() assert "GNU GPL" in copy lic = "GNU Public License version 2\n see '/usr/share/common-licenses/GPL-2'" years=" ".join(re.findall("[-0-9]+", copy)) files+="Files: %s/*\n" %d files+="Copyright: %s %s <%s>\n" %(years, author, email) files+="License: %s\n\n" %(lic) print copyright %(files) debian/README.source0000644000000000000000000000034211561245627011355 0ustar wims-help for Debian -------------------- This package is made from sources whose retrival relies on a running wims server. See the file 'refresh'. -- Georges Khaznadar , Sat, 7 May 2011 15:39:35 +0200 debian/source/0000755000000000000000000000000011561240161010463 5ustar debian/source/format0000644000000000000000000000001411561240161011671 0ustar 3.0 (quilt) debian/rules0000755000000000000000000000126611563052165010257 0ustar #!/usr/bin/make -f # -*- makefile -*- # Sample debian/rules that uses debhelper. # This file was originally written by Joey Hess and Craig Small. # As a special exception, when this file is copied by dh-make into a # dh-make output file, you may use that output file without restriction. # This special exception was added by Craig Small in version 0.37 of dh-make. # Uncomment this to turn on verbose mode. #export DH_VERBOSE=1 %: dh $@ override_dh_auto_configure: python debian/make-copyright.py help > debian/copyright override_dh_install: install -d $(CURDIR)/debian/wims-help/var/lib/wims/public_html/modules cp -a help $(CURDIR)/debian/wims-help/var/lib/wims/public_html/modules debian/control0000644000000000000000000000127611561250051010573 0ustar Source: wims-help Section: web Priority: extra Maintainer: Georges Khaznadar Build-Depends: debhelper (>= 7.0.50~), python Standards-Version: 3.9.2 Homepage: http://wimsedu.info Package: wims-help Architecture: all Depends: ${misc:Depends} Description: help files for wims Wims' modules implement every user interface beyond its main page, this package features the help modules. . WIMS is an acronym for WWW Interactive Mathematics Server. Nowadays WIMS serves much more than mathematic contents (physics, chemistry, biology, languages). . The WIMS educational platform features a rich set of resources and exercises either with free access or for personalised study.