diff options
Diffstat (limited to 'devel/gindent/files/patch-doc:Makefile.in')
-rw-r--r-- | devel/gindent/files/patch-doc:Makefile.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/gindent/files/patch-doc:Makefile.in b/devel/gindent/files/patch-doc:Makefile.in new file mode 100644 index 000000000000..b6a375e5d868 --- /dev/null +++ b/devel/gindent/files/patch-doc:Makefile.in @@ -0,0 +1,11 @@ +--- doc/Makefile.in.orig Tue Jun 25 14:31:43 2002 ++++ doc/Makefile.in Tue Jun 25 14:32:50 2002 +@@ -103,7 +103,7 @@ + + info_TEXINFOS = indent.texinfo + +-docdir = $(prefix)/doc/@PACKAGE@ ++docdir = $(prefix)/share/doc/@PACKAGE@ + dvidir = $(docdir) + psdir = $(docdir) + pdfdir = $(docdir) |