diff options
author | Roland Pesch <pesch@cygnus> | 1991-11-13 23:21:31 +0000 |
---|---|---|
committer | Roland Pesch <pesch@cygnus> | 1991-11-13 23:21:31 +0000 |
commit | f81c49b14af8311b91024073ccd5faa2d7532216 (patch) | |
tree | d10d02522c62cdcfadc50cce395cc39e20efbcf1 | |
parent | c61b4184f453ad63079f7049d8fba115bd9b31a0 (diff) | |
download | gdb-f81c49b14af8311b91024073ccd5faa2d7532216.zip gdb-f81c49b14af8311b91024073ccd5faa2d7532216.tar.gz gdb-f81c49b14af8311b91024073ccd5faa2d7532216.tar.bz2 |
Use new makeinfo -o option. Rest of this Makefile needs work to make it fit
config structure properly, though.
-rwxr-xr-x | gas/doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gas/doc/Makefile b/gas/doc/Makefile index 6ac686b..463f645 100755 --- a/gas/doc/Makefile +++ b/gas/doc/Makefile @@ -16,7 +16,7 @@ srcdir=.. TEXIDIR = $(srcdir)/../texinfo/fsf as.info: as-${CONFIG}.texinfo - makeinfo as-${CONFIG}.texinfo + makeinfo -o as.info as-${CONFIG}.texinfo # There's no index yet; when there is, add texindex call before tex 2nd pass as.dvi: as-${CONFIG}.texinfo |