While this is not necessary if you are looking only to use the text, and not strictly necessary if you would like to contribute to the project, it will make both of these things far easier. To contribute to the Open Logic Book, you will probably want to register an account with Github. The aim of this section is to help you become comfortable with what Git is and get you started using it. Git is a somewhat complicated system, and can be intimidating for new users. The Open Logic Project repository is hosted on Github, a hosting service for Git repositories with a nice web browser interface. A collection of files managed with Git is called a repository. It allows multiple people to work on the project at the same time, and makes creating your own version of the project and incorporating your changes into the main project easy. Git is the distributed version control system used by the Open Logic Project. Ideally you will install both, allowing you to try typing the git commands as they appear for Linux users, with the GUI as a fallback if something isn’t working for you. If you prefer a GUI, install Github for Mac. If you choose the command line most of the instructions and advice for Linux systems will apply to you also. If you’re comfortable with the command line, install Git. Install MacTeX to obtain a LaTeX environment. If you want to contribute to the project, the easiest way is probably to install Github for Windows. If you only want to build a custom version of the book, you don’t need to install Git on your system, it is enough to click the “Download ZIP” button on the right hand side of the Github interface on the project page, and extract the contents to a convenient location. After installation is complete, you should be able to double click on latex source files to open them in the editor, from where you can click the green “play” button in the upper left hand corner of the interface to compile the document. Do not be alarmed if it takes a long time for the installer to download all the required packages. The installer will guide you through the installation process. Windowsĭownload the TeX Live installer for windows and run the executable. For an introduction to git specific to the Open Logic Project, see below. Similarly, install git through your package manager. pdf file, use the pdflatex command at the command prompt. If TeX Live is not available through your distribution’s package manager or your distribution does not use a package manager (Gentoo), follow the instructions on the website to download and install TeX Live. The name of the package varies ( texlive for Debian and Ubuntu with aptitude, texlive-most for Arch Linux with pacman, texlive and texlive-latex for OpenSUSE with libzypp). The easiest way to get a working LaTeX environment on the majority of Linux systems is to install TeX Live through the package manager. While it is possible to build the book without, the project is currently hosted on Github, and you will need Git to contribute to the project.
Installing LaTeX and GitĪ LaTeX environment is necessary for both building a version of the Open Logic Book and contributing to the project. You can avoid using Git by downloading OLT directly, but it makes it harder for you to keep up-to-date with changes to the text, and us to incorporate any contributions you make. Please see the pages on LaTeX and Git for more information on what those are if you don’t know already. This page describes all the steps required to install and compile the Open Logic Text on your computer, including installation of LaTeX (the typesetting program OLT uses) and Git.