diff options
| -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 |