diff options
author | Roland Pesch <pesch@cygnus> | 1991-10-12 01:18:13 +0000 |
---|---|---|
committer | Roland Pesch <pesch@cygnus> | 1991-10-12 01:18:13 +0000 |
commit | 098d714d8142195cb2baf71667b73586a6efabe6 (patch) | |
tree | 6417a0526f1e026ac50197f6bb05bf1eb876b30e /gas/doc | |
parent | 1966e7158a710f4ead75e4def78b818606da6ec5 (diff) | |
download | gdb-098d714d8142195cb2baf71667b73586a6efabe6.zip gdb-098d714d8142195cb2baf71667b73586a6efabe6.tar.gz gdb-098d714d8142195cb2baf71667b73586a6efabe6.tar.bz2 |
*** empty log message ***
Diffstat (limited to 'gas/doc')
-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 |