Browse code

- merged from stable (rel0_8_11): - kill_all_children (fixes 'we kill our launching script bug ') - debian updates - tm & sl destroy when not init fixes - ver no. updated

Andrei Pelinescu-Onciul authored on 30/06/2003 15:48:44
Showing 1 changed files
1 1
deleted file mode 100644
... ...
@@ -1,5 +0,0 @@
1
-# Automatically added by dh_installdocs
2
-if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/ser ]; then
3
-	rm -f /usr/doc/ser
4
-fi
5
-# End automatically added section
Browse code

- fixed a few install issues - added install for the man pages - added debian package build info

Andrei Pelinescu-Onciul authored on 16/07/2002 15:06:05
Showing 1 changed files
1 1
new file mode 100644
... ...
@@ -0,0 +1,5 @@
1
+# Automatically added by dh_installdocs
2
+if [ \( "$1" = "upgrade" -o "$1" = "remove" \) -a -L /usr/doc/ser ]; then
3
+	rm -f /usr/doc/ser
4
+fi
5
+# End automatically added section