bookshelf/.gitignore

# Lean
build
lake-packages
_target
leanpkg.path

# TeX
*.aux
*.cb
*.cb2
*.fdb_latexmk
*.fls
*.fmt
*.fot
*.lof
*.log
*.lot
*.out
*.pdf
*.synctex.gz
*.toc
.*.lb
Break books into separate Lean projects. 2023-02-20 20:26:18 +00:00			`# Lean`
Rewrite as a single shared library. 2023-04-22 20:20:37 +00:00			`build`
			`lake-packages`
			`_target`
			`leanpkg.path`
Demonstrate how Lean/LaTeX will co-exist for now. 2023-04-08 21:09:11 +00:00
			`# TeX`
			`*.aux`
			`*.cb`
			`*.cb2`
			`*.fdb_latexmk`
			`*.fls`
			`*.fmt`
			`*.fot`
			`*.lof`
			`*.log`
			`*.lot`
			`*.out`
			`*.pdf`
			`*.synctex.gz`
			`*.toc`
			`.*.lb`