diff options
Diffstat (limited to 'devel/mingw32-binutils/files/patch-gas::doc::Makefile.in')
| -rw-r--r-- | devel/mingw32-binutils/files/patch-gas::doc::Makefile.in | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/devel/mingw32-binutils/files/patch-gas::doc::Makefile.in b/devel/mingw32-binutils/files/patch-gas::doc::Makefile.in new file mode 100644 index 000000000000..a29b81ae229e --- /dev/null +++ b/devel/mingw32-binutils/files/patch-gas::doc::Makefile.in @@ -0,0 +1,11 @@ +--- gas/doc/Makefile.in.orig Wed Mar 3 17:53:16 2004 ++++ gas/doc/Makefile.in Wed Mar 3 17:53:32 2004 +@@ -521,7 +521,7 @@ + + # We want install to imply install-info as per GNU standards, despite the + # cygnus option. +-install: install-info ++install: install-info install-man + install-info: install-info-am + + # Maintenance |