[gcc(refs/users/egallager/heads/CI)] Update linux.yaml

[Eric Gallager <egallager@gcc.gnu.org>]

https://gcc.gnu.org/g:ff39e773be808117d5287572438e74ab2c9eaed6

commit ff39e773be808117d5287572438e74ab2c9eaed6
Author: Eric Gallager <egallager@gcc.gnu.org>
Date:   Sun Oct 15 06:37:09 2023 -0400

    Update linux.yaml
    
    trim down build a bit

Diff:
---
 .github/workflows/linux.yaml | 33 ++++++++++++---------------------
 1 file changed, 12 insertions(+), 21 deletions(-)

diff --git a/.github/workflows/linux.yaml b/.github/workflows/linux.yaml
index 5ec639215d6..5f6c6859a58 100644
--- a/.github/workflows/linux.yaml
+++ b/.github/workflows/linux.yaml
@@ -36,7 +36,7 @@ jobs:
       - name: Install dependencies
         run: |
           sudo apt-get -qq update
-          sudo apt install -y gcc-multilib build-essential flex zlib1g-dev gnat gdc expect dejagnu libc-devtools
+          sudo apt install -y gcc-multilib build-essential flex zlib1g-dev gnat gdc expect dejagnu libc-devtools texlive
 
       - name: Install dependencies for aarch64
         if: success() && contains(matrix.target, 'aarch64')
@@ -86,31 +86,17 @@ jobs:
                 --prefix=/usr \
                 --with-gcc-major-version-only \
                 --program-prefix=x86_64-linux-gnu- \
-                --enable-shared \
-                --enable-linker-build-id \
                 --libexecdir=/usr/lib \
                 --without-included-gettext \
                 --enable-threads=posix \
                 --libdir=/usr/lib \
-                --enable-nls \
-                --enable-clocale=gnu \
-                --enable-libstdcxx-debug \
-                --enable-libstdcxx-time=yes \
-                --with-default-libstdcxx-abi=new \
-                --enable-gnu-unique-object \
                 --disable-vtable-verify \
-                --enable-plugin \
-                --enable-default-pie \
                 --with-system-zlib \
                 --with-target-system-zlib=auto \
-                --enable-objc-gc=auto \
-                --enable-multiarch \
+                --disable-multiarch \
                 --disable-bootstrap \
                 --disable-werror \
-                --with-arch-32=i686 \
-                --with-abi=m64 \
-                --with-multilib-list=m32,m64,mx32 \
-                --enable-multilib \
+                --disable-multilib \
                 --with-tune=generic \
                 --without-cuda-driver \
                 --enable-checking=release \
@@ -123,10 +109,9 @@ jobs:
         if: success()
         run: |
           cd ../build
-          make info
-          make dvi
-          make pdf
-          make html
+          echo "make dvi" && time make dvi
+          echo "make pdf" && time make pdf
+          echo "make html" && time make html
 
       - name: Make
         if: success()
@@ -135,6 +120,12 @@ jobs:
           if test -x "$(which nproc)"; then echo "nproc says that we can use $(nproc) build jobs"; else echo "error: missing nproc!" >&2 && exit 1; fi
           time (make -j"$(nproc)" | tee build.log)
 
+      - name: Make docs (post-build)
+        if: success()
+        run: |
+          cd ../build
+          echo "make info" && time make info
+
       - name: Debug failure
         if: failure()
         run: |