diff options
Diffstat (limited to 'gas/doc')
| -rw-r--r-- | gas/doc/configure.in | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gas/doc/configure.in b/gas/doc/configure.in index e8b79a6..69833cb 100644 --- a/gas/doc/configure.in +++ b/gas/doc/configure.in @@ -34,4 +34,18 @@ srcname="gas doc" # per-target: +# Make this link, so the Makefile's as-${CONFIG} references can all work, +# while we only keep as-all.texinfo in the source tree. + +cfgs="all a29k a29k-coff gen h8 z8000 i80386 m680x0 sparc vax vintage" +files="" +if [ $srcdir != "." ] && [ `cd $srcdir ; pwd` != `pwd` ]; then + for cfg in $cfgs ; do + if [ -r $srcdir/as-$cfg.texinfo ]; then + files="$files as-$cfg.texinfo" + fi + done +fi +links="$files" + # end of gas/doc/configure.in |