diff options
| author | Jim Kingdon <jkingdon@engr.sgi.com> | 1993-06-13 01:19:45 +0000 |
|---|---|---|
| committer | Jim Kingdon <jkingdon@engr.sgi.com> | 1993-06-13 01:19:45 +0000 |
| commit | c15024ee51ffbd27e6aec877dd1d7461422d2759 (patch) | |
| tree | e79de46567d3fb999f412cef70e6d60ffe54437b /gdb/doc/Makefile.in | |
| parent | 6d792f42f33b6777728f4ab00c8a4e4cf5ce4a38 (diff) | |
| download | gdb-c15024ee51ffbd27e6aec877dd1d7461422d2759.zip gdb-c15024ee51ffbd27e6aec877dd1d7461422d2759.tar.gz gdb-c15024ee51ffbd27e6aec877dd1d7461422d2759.tar.bz2 | |
* {all,h8}-config.texi: Rename to *-cfg.texi for 14 char filenames.
* Makefile.in: Change accordingly. gdb-config.texi -> gdb-cfg.texi.
Diffstat (limited to 'gdb/doc/Makefile.in')
| -rw-r--r-- | gdb/doc/Makefile.in | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index acf29d5..0f4c78a 100644 --- a/gdb/doc/Makefile.in +++ b/gdb/doc/Makefile.in @@ -56,7 +56,7 @@ TEX = tex TEXINDEX = texindex # Main GDB manual's source files -SFILES_INCLUDED = gdb-config.texi $(srcdir)/gdbinv-s.texi +SFILES_INCLUDED = gdb-cfg.texi $(srcdir)/gdbinv-s.texi SFILES_LOCAL = $(srcdir)/gdb.texinfo GDBvn.texi $(SFILES_INCLUDED) @@ -164,10 +164,10 @@ GDBvn.texi : ${gdbdir}/Makefile.in # `configure' script because most users prefer generic version of manual, # not one for their binary config---which may not be specifically # defined anyways). -gdb-config.texi: ${srcdir}/${DOC_CONFIG}-config.texi - ln -s ${srcdir}/${DOC_CONFIG}-config.texi gdb-config.texi || \ - ln ${srcdir}/${DOC_CONFIG}-config.texi gdb-config.texi || \ - cp ${srcdir}/${DOC_CONFIG}-config.texi gdb-config.texi +gdb-cfg.texi: ${srcdir}/${DOC_CONFIG}-cfg.texi + ln -s ${srcdir}/${DOC_CONFIG}-cfg.texi gdb-cfg.texi || \ + ln ${srcdir}/${DOC_CONFIG}-cfg.texi gdb-cfg.texi || \ + cp ${srcdir}/${DOC_CONFIG}-cfg.texi gdb-cfg.texi # GDB MANUAL: texinfo source, using @set/@clear/@value/@ifset/@ifclear # If your texinfo or makeinfo don't support these, get a new texinfo release |