Use new makeinfo -o option. Rest of this Makefile needs work to make it fit
authorRoland Pesch <pesch@cygnus>
Wed, 13 Nov 1991 23:21:31 +0000 (23:21 +0000)
committerRoland Pesch <pesch@cygnus>
Wed, 13 Nov 1991 23:21:31 +0000 (23:21 +0000)
commitf81c49b14af8311b91024073ccd5faa2d7532216
treed10d02522c62cdcfadc50cce395cc39e20efbcf1
parentc61b4184f453ad63079f7049d8fba115bd9b31a0
Use new makeinfo -o option.  Rest of this Makefile needs work to make it fit
config structure properly, though.
gas/doc/Makefile