milewski-ctfp-pdf/.gitignore

.vscode/
*.fls
_minted*
*.fdb_latexmk
out/*
*.pdf
*.xdv
*.gz
src/version.tex
*.pyg
*.synctex(busy)
src/.dotty-ide-disabled
venv/*
.DS_Store
src/.metals
out/
Placing appendices in own part. This fixes #74 2018-07-30 15:06:25 +03:00			`.vscode/`
Adding ‘minted’ for syntax highlighting 2017-09-03 17:49:27 +03:00			`*.fls`
Removing caches, handling it on CI 2020-02-14 19:59:00 +03:00			`_minted*`
Adding ‘minted’ for syntax highlighting 2017-09-03 17:49:27 +03:00			`*.fdb_latexmk`
Travis s3 deploy (#132) * Trying s3 deploy * Changing output directory - s3 can only upload a single dir * Ignoring out dir * Adding fontspec package 2018-07-30 00:25:37 +03:00			`out/*`
Placing appendices in own part. This fixes #74 2018-07-30 15:06:25 +03:00			`*.pdf`
			`*.xdv`
			`*.gz`
Refactoring, adding print version (#142) * Adding two separate settings for printing in US-trade (6x9 book) and 10” reader * Printing version information * Tweaking images in print layout * Housekeeping * Tweaking cover (based on the HoTT book) 2018-09-11 21:20:40 +03:00			`src/version.tex`
Scala edition (#161) * Changing structure to load snippets from external files * Refactoring to include both haskell and scala snippets together! * Adding Scala snippets * Tweaking page margins * Refactoring additional language content to be load conditionally * Adding scala-specific build * Housekeeping * More font tweaks 2019-01-03 15:30:41 +03:00			`*.pyg`
			`*.synctex(busy)`
Ignoring vscode files 2019-06-13 09:40:54 +03:00			`src/.dotty-ide-disabled`
Hopefully correct page margins for print! 2019-08-11 17:24:51 +03:00			`venv/*`
Fixing python venv in nix 2020-01-16 16:59:08 +03:00			`.DS_Store`
Makefile surgery (#234) * Adding a "display language" option + separating some pages to import language-specific text * Removing grffile, not needed after the latest fix in LaTeX2e 2019-10-01 Patch Level 2 * Trying a new version fetch strategy * Sharing caches between runs. This should reduce build times significantly! 2020-02-14 01:50:20 +03:00			`src/.metals`
Use Nix for building PDFs. (#286) 2022-02-25 18:12:14 +03:00			`out/`