diff options
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 0000000000..9f8bb7daa3 --- /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@ |