How To Install texlive-synproof on Fedora 36
Introduction
In this tutorial we learn how to install texlive-synproof
on Fedora 36.
What is texlive-synproof
The package provides a set of macros based on PSTricks that will enable you to draw syntactic proofs easily (inspired by the Gamut books). Very few commands are needed, however fine tuning of the various parameters (dimensions) can still be achieved through “key=value” pairs.
We can use yum
or dnf
to install texlive-synproof
on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install texlive-synproof.
Install texlive-synproof on Fedora 36 Using dnf
Update yum database with dnf
using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install texlive-synproof
using dnf
by running the following command:
sudo dnf -y install texlive-synproof
Install texlive-synproof on Fedora 36 Using yum
Update yum database with yum
using the following command.
sudo yum makecache --refresh
After updating yum database, We can install texlive-synproof
using yum
by running the following command:
sudo yum -y install texlive-synproof
How To Uninstall texlive-synproof on Fedora 36
To uninstall only the texlive-synproof
package we can use the following command:
sudo dnf remove texlive-synproof
texlive-synproof Package Contents on Fedora 36
/usr/share/licenses/texlive-synproof
/usr/share/licenses/texlive-synproof/lppl1.txt
/usr/share/texlive/texmf-dist/tex/latex/synproof
/usr/share/texlive/texmf-dist/tex/latex/synproof/synproof.sty
References
Summary
In this tutorial we learn how to install texlive-synproof
on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).