From: no author <no.author@nowhere.it>
Date: Thu, 12 Apr 2001 15:44:36 +0000 (+0000)
Subject: This commit was manufactured by cvs2svn to create branch 'start'.
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e6927665462cbbace76cff1b17d4f8badcb44eda;p=helm.git
This commit was manufactured by cvs2svn to create branch 'start'.
---
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 <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
index 000000000..bc1c4cd76
--- /dev/null
+++ b/helm/helmpot/debian/control
@@ -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
index 000000000..eb8ef893d
--- /dev/null
+++ b/helm/helmpot/debian/copyright
@@ -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
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)