diff options
Diffstat (limited to 'gnome1-libs/gtk-theme-switch/PRE_BUILD')
| -rwxr-xr-x | gnome1-libs/gtk-theme-switch/PRE_BUILD | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/gnome1-libs/gtk-theme-switch/PRE_BUILD b/gnome1-libs/gtk-theme-switch/PRE_BUILD new file mode 100755 index 0000000000..3aa010e79e --- /dev/null +++ b/gnome1-libs/gtk-theme-switch/PRE_BUILD @@ -0,0 +1,4 @@ +default_pre_build && +cd "$SOURCE_DIRECTORY" && + +sed -i "s:/man:/share/man/man1:g" Makefile |