]> matita.cs.unibo.it Git - helm.git/commitdiff
Initial revision
authorLuca Padovani <luca.padovani@unito.it>
Thu, 12 Apr 2001 15:44:35 +0000 (15:44 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 12 Apr 2001 15:44:35 +0000 (15:44 +0000)
helm/helmpot/debian/changelog [new file with mode: 0644]
helm/helmpot/debian/control [new file with mode: 0644]
helm/helmpot/debian/copyright [new file with mode: 0644]
helm/helmpot/debian/docs [new file with mode: 0644]
helm/helmpot/debian/files [new file with mode: 0644]
helm/helmpot/debian/postinst.debhelper [new file with mode: 0644]
helm/helmpot/debian/prerm.debhelper [new file with mode: 0644]
helm/helmpot/debian/rules [new file with mode: 0755]
helm/helmpot/debian/substvars [new file with mode: 0644]

diff --git a/helm/helmpot/debian/changelog b/helm/helmpot/debian/changelog
new file mode 100644 (file)
index 0000000..148bf48
--- /dev/null
@@ -0,0 +1,9 @@
+helmpot (0.0.1-1) unstable; urgency=low
+
+  * Initial Release.
+
+ -- Luca Padovani <luca.padovani@cs.unibo.it>  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 (file)
index 0000000..bc1c4cd
--- /dev/null
@@ -0,0 +1,14 @@
+Source: helmpot
+Section: unknown
+Priority: optional
+Maintainer: Luca Padovani <luca.padovani@cs.unibo.it>
+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 (file)
index 0000000..eb8ef89
--- /dev/null
@@ -0,0 +1,30 @@
+This package was debianized by Luca Padovani <luca.padovani@cs.unibo.it> 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 <luca.padovani@cs.unibo.it>
+
+Copyright:
+ Copyright (C) 2000, Luca Padovani <luca.padovani@cs.unibo.it>.
+ 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
+ <luca.padovani@cs.unibo.it>
diff --git a/helm/helmpot/debian/docs b/helm/helmpot/debian/docs
new file mode 100644 (file)
index 0000000..1632caf
--- /dev/null
@@ -0,0 +1,4 @@
+AUTHORS
+INSTALL
+NEWS
+README
diff --git a/helm/helmpot/debian/files b/helm/helmpot/debian/files
new file mode 100644 (file)
index 0000000..5675b56
--- /dev/null
@@ -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 (file)
index 0000000..ee14440
--- /dev/null
@@ -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 (file)
index 0000000..bb74e00
--- /dev/null
@@ -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 (executable)
index 0000000..3ba126b
--- /dev/null
@@ -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 (file)
index 0000000..305767d
--- /dev/null
@@ -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)