From 6137944a65baee76f7ab09a925e91e0edb3bdcce Mon Sep 17 00:00:00 2001 From: Luca Padovani Date: Thu, 12 Apr 2001 15:44:35 +0000 Subject: [PATCH] Initial revision --- helm/helmpot/debian/changelog | 9 +++ helm/helmpot/debian/control | 14 +++++ helm/helmpot/debian/copyright | 30 ++++++++++ helm/helmpot/debian/docs | 4 ++ helm/helmpot/debian/files | 1 + helm/helmpot/debian/postinst.debhelper | 7 +++ helm/helmpot/debian/prerm.debhelper | 5 ++ helm/helmpot/debian/rules | 77 ++++++++++++++++++++++++++ helm/helmpot/debian/substvars | 1 + 9 files changed, 148 insertions(+) create mode 100644 helm/helmpot/debian/changelog create mode 100644 helm/helmpot/debian/control create mode 100644 helm/helmpot/debian/copyright create mode 100644 helm/helmpot/debian/docs create mode 100644 helm/helmpot/debian/files create mode 100644 helm/helmpot/debian/postinst.debhelper create mode 100644 helm/helmpot/debian/prerm.debhelper create mode 100755 helm/helmpot/debian/rules create mode 100644 helm/helmpot/debian/substvars diff --git a/helm/helmpot/debian/changelog b/helm/helmpot/debian/changelog new file mode 100644 index 000000000..148bf48f0 --- /dev/null +++ b/helm/helmpot/debian/changelog @@ -0,0 +1,9 @@ +helmpot (0.0.1-1) unstable; urgency=low + + * Initial Release. + + -- Luca Padovani Thu, 12 Apr 2001 17:18:05 +0200 + +Local variables: +mode: debian-changelog +End: diff --git a/helm/helmpot/debian/control b/helm/helmpot/debian/control new file mode 100644 index 000000000..bc1c4cd76 --- /dev/null +++ b/helm/helmpot/debian/control @@ -0,0 +1,14 @@ +Source: helmpot +Section: unknown +Priority: optional +Maintainer: Luca Padovani +Build-Depends: debhelper (>> 2.0.0), libgtkmathview-dev +Standards-Version: 3.0.1 + +Package: helmpot +Architecture: any +Depends: ${shlibs:Depends} +Description: A minimal browser for the HELM library. + 'helmpot' is a minimal browser, in the form of a plug-out, for + browsing the HELM library (MathML presentation). + diff --git a/helm/helmpot/debian/copyright b/helm/helmpot/debian/copyright new file mode 100644 index 000000000..eb8ef893d --- /dev/null +++ b/helm/helmpot/debian/copyright @@ -0,0 +1,30 @@ +This package was debianized by Luca Padovani on +Thu, 12 Apr 2001 17:18:05 +0200. + +It was packed from source obtained via cvs, with this CVSROOT: + :pserver:anonymous@phd.cs.unibo.it:/home/lpadovan/PHELM/ + +Upstream Author(s): Luca Padovani + +Copyright: + Copyright (C) 2000, Luca Padovani . + + This file is part of HelmPot, a minimal browser for HELM. + + HelmPot 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. + + HelmPot 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 HelmPot; if not, write to the Free Software + Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. + + For details, see the HelmPot World-Wide-Web page, + http://cs.unibo.it/helm/helmpot, or send a mail to + diff --git a/helm/helmpot/debian/docs b/helm/helmpot/debian/docs new file mode 100644 index 000000000..1632cafb5 --- /dev/null +++ b/helm/helmpot/debian/docs @@ -0,0 +1,4 @@ +AUTHORS +INSTALL +NEWS +README diff --git a/helm/helmpot/debian/files b/helm/helmpot/debian/files new file mode 100644 index 000000000..5675b5660 --- /dev/null +++ b/helm/helmpot/debian/files @@ -0,0 +1 @@ +helmpot_0.0.1-1_i386.deb unknown optional diff --git a/helm/helmpot/debian/postinst.debhelper b/helm/helmpot/debian/postinst.debhelper new file mode 100644 index 000000000..ee14440c4 --- /dev/null +++ b/helm/helmpot/debian/postinst.debhelper @@ -0,0 +1,7 @@ +# Automatically added by dh_installdocs +if [ "$1" = "configure" ]; then + if [ -d /usr/doc -a ! -e /usr/doc/helmpot -a -d /usr/share/doc/helmpot ]; then + ln -sf ../share/doc/helmpot /usr/doc/helmpot + fi +fi +# End automatically added section diff --git a/helm/helmpot/debian/prerm.debhelper b/helm/helmpot/debian/prerm.debhelper new file mode 100644 index 000000000..bb74e00af --- /dev/null +++ b/helm/helmpot/debian/prerm.debhelper @@ -0,0 +1,5 @@ +# Automatically added by dh_installdocs +if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/helmpot ]; then + rm -f /usr/doc/helmpot +fi +# End automatically added section diff --git a/helm/helmpot/debian/rules b/helm/helmpot/debian/rules new file mode 100755 index 000000000..3ba126bc1 --- /dev/null +++ b/helm/helmpot/debian/rules @@ -0,0 +1,77 @@ +#!/usr/bin/make -f +# Sample debian/rules that uses debhelper. +# GNU copyright 1997 to 1999 by Joey Hess. + +# Uncomment this to turn on verbose mode. +#export DH_VERBOSE=1 + +# This is the debhelper compatability version to use. +export DH_COMPAT=1 + +build: build-stamp +build-stamp: + dh_testdir + + ./configure --prefix=/usr --mandir=\$${prefix}/share/man --infodir=\$${prefix}/share/info + # Add here commands to compile the package. + $(MAKE) + + touch build-stamp + +clean: + dh_testdir + dh_testroot + rm -f build-stamp + + # Add here commands to clean up after the build process. + -$(MAKE) distclean + + dh_clean + +install: build + dh_testdir + dh_testroot + dh_clean -k + dh_installdirs + + # Add here commands to install the package into debian/tmp. + $(MAKE) install prefix=`pwd`/debian/tmp/usr + + +# Build architecture-independent files here. +binary-indep: build install +# We have nothing to do by default. + +# Build architecture-dependent files here. +binary-arch: build install +# dh_testversion + dh_testdir + dh_testroot +# dh_installdebconf + dh_installdocs + dh_installexamples + dh_installmenu +# dh_installemacsen +# dh_installpam +# dh_installinit + dh_installcron + dh_installmanpages + dh_installinfo +# dh_undocumented + dh_installchangelogs ChangeLog + dh_link + dh_strip + dh_compress + dh_fixperms + # You may want to make some executables suid here. + dh_suidregister +# dh_makeshlibs + dh_installdeb +# dh_perl + dh_shlibdeps + dh_gencontrol + dh_md5sums + dh_builddeb + +binary: binary-indep binary-arch +.PHONY: build clean binary-indep binary-arch binary install diff --git a/helm/helmpot/debian/substvars b/helm/helmpot/debian/substvars new file mode 100644 index 000000000..305767dbf --- /dev/null +++ b/helm/helmpot/debian/substvars @@ -0,0 +1 @@ +shlibs:Depends=libc6 (>= 2.1.2), libglib1.2 (>= 1.2.0), libgtk1.2 (>= 1.2.7-1), libgtkmathview0, libminidom0, libxml2, libz1, t1lib1, xlib6g (>= 3.3.6-4) -- 2.39.2