osx: Try texlive (like Linux) rather than mactex.

Author: eschaton

.github/workflows/osx.yml

@@ -14,10 +14,8 @@ jobs:
     # Brew may not have permission to install its packages
     - name: change brew install folder permissions
       run: sudo chmod -R a+rwx /usr/local/share/ || mkdir -p /usr/local/share/ -m a+rwx
-    - name: install maxtex
-      run: brew install --cask mactex
     - name: install doc programs
-      run: brew install texi2html doxygen texinfo
+      run: brew install texlive texi2html doxygen texinfo
     - name: install automake
       run: brew install automake
     - name: install libtool
@@ -42,10 +40,8 @@ jobs:
     # Brew may not have permission to install its packages
     - name: change brew install folder permissions
       run: sudo chmod -R a+rwx /usr/local/share/ || mkdir -p /usr/local/share/ -m a+rwx
-    - name: install maxtex
-      run: brew install --cask mactex
     - name: install doc programs
-      run: brew install texi2html doxygen texinfo
+      run: brew install texlive texi2html doxygen texinfo
     - name: install automake
       run: brew install automake
     - name: install libtool
@@ -114,10 +110,8 @@ jobs:
     # Brew may not have permission to install its packages
     - name: change brew install folder permissions
       run: sudo chmod -R a+rwx /usr/local/share/ || mkdir -p /usr/local/share/ -m a+rwx
-    - name: install maxtex
-      run: brew install --cask mactex
     - name: install doc programs
-      run: brew install texi2html doxygen texinfo
+      run: brew install texlive texi2html doxygen texinfo
     - name: install automake
       run: brew install automake
     - name: install libtool