ced47a1870
Its behaviour and look is based on GNOME Terminal, but it has a lot of extra functionality like splitting the window in multiple tiles, and sending commands to multiple terminals at once. From Jochem Kossen, ok landry@.
12 lines
264 B
Plaintext
12 lines
264 B
Plaintext
--- setup.py.orig Thu May 19 15:21:23 2011
|
|
+++ setup.py Thu May 19 15:23:40 2011
|
|
@@ -150,7 +150,7 @@
|
|
return data_files
|
|
|
|
|
|
-if platform.system() == 'FreeBSD':
|
|
+if platform.system() in ['FreeBSD', 'OpenBSD']:
|
|
man_dir = 'man'
|
|
else:
|
|
man_dir = 'share/man'
|