diff options
Diffstat (limited to 'gas/doc/Makefile.in')
| -rw-r--r-- | gas/doc/Makefile.in | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/gas/doc/Makefile.in b/gas/doc/Makefile.in index 1bd387e..7a9fcab 100644 --- a/gas/doc/Makefile.in +++ b/gas/doc/Makefile.in @@ -133,8 +133,6 @@ POD2MAN = pod2man --center="GNU Development Tools" \ man_MANS = as.1 -# The gasp.texi file is now deprecated, as GASP has been deprecated. -# It will disappear in a future release. info_TEXINFOS = as.texinfo CPU_DOCS = \ @@ -173,7 +171,7 @@ CPU_DOCS = \ # This one isn't ready for prime time yet. Not even a little bit. -noinst_TEXINFOS = internals.texi gasp.texi +noinst_TEXINFOS = internals.texi DISTCLEANFILES = asconfig.texi @@ -195,7 +193,7 @@ DIST_COMMON = Makefile.am Makefile.in DISTFILES = $(DIST_COMMON) $(SOURCES) $(HEADERS) $(TEXINFOS) $(EXTRA_DIST) -TAR = tar +TAR = gtar GZIP_ENV = --best all: all-redirect .SUFFIXES: |