diff options
| -rwxr-xr-x | gas/doc/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gas/doc/Makefile b/gas/doc/Makefile index e06fa42..3d65faa 100755 --- a/gas/doc/Makefile +++ b/gas/doc/Makefile @@ -15,6 +15,9 @@ srcdir=.. # Where to find texinfo.tex to format docn with TeX TEXIDIR = $(srcdir)/../texinfo/fsf +as.info: as-${CONFIG}.texinfo + makeinfo as-${CONFIG}.texinfo + # There's no index yet; when there is, add texindex call before tex 2nd pass as.dvi: as-${CONFIG}.texinfo TEXINPUTS=${TEXIDIR}:.:$$TEXINPUTS tex as-${CONFIG}.texinfo @@ -22,9 +25,6 @@ as.dvi: as-${CONFIG}.texinfo mv as-${CONFIG}.dvi as.dvi rm as-${CONFIG}.?? as-${CONFIG}.??? -as.info: as-${CONFIG}.texinfo - makeinfo as-${CONFIG}.texinfo - # roff output (-ms) #edit instances of "ms" to "me" or "mm" to suit your preferences. # (we don't use a variable because we don't trust all makes to handle |