diff options
| author | Andy Bailey <bailey@akamai.com> | 2010-05-14 23:41:13 +0200 |
|---|---|---|
| committer | Robby Workman <rworkman@slackware.com> | 2010-05-14 23:41:13 +0200 |
| commit | 260343d18881715c2bc6618849f9f557db6e80fb (patch) | |
| tree | 5ef868f5b8c38ee01bc6977ff7be27dbe2e9927f /development/valkyrie/docdir.patch | |
| parent | 2d9b5f44619063704dbe16f57685aa8b43dbd16a (diff) | |
development/valkyrie: Added - a gui for valgrind.
Valkyrie is a GUI frontend for valgrind.
Diffstat (limited to 'development/valkyrie/docdir.patch')
| -rw-r--r-- | development/valkyrie/docdir.patch | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/development/valkyrie/docdir.patch b/development/valkyrie/docdir.patch new file mode 100644 index 0000000000000..9f8bb7daa3fde --- /dev/null +++ b/development/valkyrie/docdir.patch @@ -0,0 +1,22 @@ +--- valkyrie-1.3.0/doc/Makefile.in.orig 2010-02-16 09:36:30.757843977 -0500 ++++ valkyrie-1.3.0/doc/Makefile.in 2010-02-16 09:36:47.274614778 -0500 +@@ -143,7 +143,7 @@ + build_alias = @build_alias@ + datadir = @datadir@ + datarootdir = @datarootdir@ +-docdir = $(prefix)/doc/ ++docdir = @docdir@ + dvidir = @dvidir@ + exec_prefix = @exec_prefix@ + host_alias = @host_alias@ +--- valkyrie-1.3.0/doc/images/Makefile.in.orig 2010-02-16 09:40:41.232645924 -0500 ++++ valkyrie-1.3.0/doc/images/Makefile.in 2010-02-16 09:40:58.332637251 -0500 +@@ -134,7 +134,7 @@ + build_alias = @build_alias@ + datadir = @datadir@ + datarootdir = @datarootdir@ +-docdir = $(prefix)/doc/images ++docdir = @docdir@/images + dvidir = @dvidir@ + exec_prefix = @exec_prefix@ + host_alias = @host_alias@ |