diff options
author | Michael Johnson <ahze@FreeBSD.org> | 2007-02-11 17:46:21 +0000 |
---|---|---|
committer | Michael Johnson <ahze@FreeBSD.org> | 2007-02-11 17:46:21 +0000 |
commit | f7cd754d1fae969d8b5e5d7a7a8a55f52f3a57ce (patch) | |
tree | 21c10738db88aa4851982e333af063ed79713758 /x11-themes | |
parent | e02747e7111ee2de3d90432d83610654d4c54c1f (diff) | |
download | ports-f7cd754d1fae969d8b5e5d7a7a8a55f52f3a57ce.tar.gz ports-f7cd754d1fae969d8b5e5d7a7a8a55f52f3a57ce.zip |
Fix runtime
PR: 107176
Submitted by: Sergio Lenzi <lenzi@k1.com.br>
Notes
Notes:
svn path=/head/; revision=184903
Diffstat (limited to 'x11-themes')
-rw-r--r-- | x11-themes/gnome-splashscreen-manager/Makefile | 2 | ||||
-rw-r--r-- | x11-themes/gnome-splashscreen-manager/files/patch-lib_gnome-splashscreen-manager_gnome_splashscreen_manager.rb | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/x11-themes/gnome-splashscreen-manager/Makefile b/x11-themes/gnome-splashscreen-manager/Makefile index d18e4fc23785..54507e356935 100644 --- a/x11-themes/gnome-splashscreen-manager/Makefile +++ b/x11-themes/gnome-splashscreen-manager/Makefile @@ -7,7 +7,7 @@ PORTNAME= gnome-splashscreen-manager PORTVERSION= 0.2 -PORTREVISION= 2 +PORTREVISION= 3 CATEGORIES= x11-themes MASTER_SITES= http://www.miketech.net/gnome-art/download/ DISTNAME= gnome-art-${PORTVERSION} diff --git a/x11-themes/gnome-splashscreen-manager/files/patch-lib_gnome-splashscreen-manager_gnome_splashscreen_manager.rb b/x11-themes/gnome-splashscreen-manager/files/patch-lib_gnome-splashscreen-manager_gnome_splashscreen_manager.rb index d3ea180a1e06..0d4cd55e20e7 100644 --- a/x11-themes/gnome-splashscreen-manager/files/patch-lib_gnome-splashscreen-manager_gnome_splashscreen_manager.rb +++ b/x11-themes/gnome-splashscreen-manager/files/patch-lib_gnome-splashscreen-manager_gnome_splashscreen_manager.rb @@ -5,7 +5,7 @@ splash_screens_file = File.new(file, File::CREAT|File::TRUNC|File::RDWR, 0644) - new_splash_screens_file = "<?xml version=\"1.0\"?>\n<splash_screens>\n</splash_screens>\n" -+ new_splash_screens_file = "<?xml version=\"1.0\"?>\n<splash_screens>\n%%SPLASHSCREENS%%\n<splash_screens>\n</splash_screens>\n" ++ new_splash_screens_file = "<?xml version=\"1.0\"?>\n<splash_screens>\n%%SPLASHSCREENS%%\n</splash_screens>\n" splash_screens_file.write(new_splash_screens_file) |