gdb 5.0: run.1 man page does not get installed (fwd)

[Maciej W. Rozycki]

---------- Forwarded message ----------
Message-ID: <Pine.GSO.3.96.1000619184040.10348O-100000@delta.ds2.pg.gda.pl>
Date: Mon, 19 Jun 2000 18:46:16 +0200 (MET DST)
From: "Maciej W. Rozycki" <macro@ds2.pg.gda.pl>
To: bug-gdb@gnu.org
Subject: gdb 5.0: run.1 man page does not get installed

Hi,

 Whenever "run" gets installed its manual page does not and there is no
direct way to install it, i.e. one cannot run e.g. `make install-man' from
the toplevel directory to perform this task.  The following obvious patch
fixes this problem for me. 

  Maciej

-- 
+  Maciej W. Rozycki, Technical University of Gdansk, Poland   +
+--------------------------------------------------------------+
+        e-mail: macro@ds2.pg.gda.pl, PGP key available        +

diff -u --recursive --new-file gdb-5.0.macro/sim/common/Makefile.in gdb-5.0/sim/common/Makefile.in
--- gdb-5.0.macro/sim/common/Makefile.in	Mon Jul 19 23:29:41 1999
+++ gdb-5.0/sim/common/Makefile.in	Thu Jun  8 01:50:13 2000
@@ -119,7 +119,7 @@
 force:
 
 # Copy the files into directories where they will be run.
-install:
+install: install-man
 
 install-man: installdirs
 	n=`echo run | sed '$(program_transform_name)'`; \