GitHub - holdenlee/stacks-tools: The toolset for managing both the website and TeX sources of the Stacks project

Description

This is the toolset for managing both the website and TeX sources of the Stacks project.

Name		Name	Last commit message	Last commit date
Latest commit History 144 Commits
bibliography		bibliography
checks		checks
comments		comments
database		database
extras		extras
graphs		graphs
macros		macros
query		query
statistics		statistics
tags		tags
.gitignore		.gitignore
README.markdown		README.markdown
config.py		config.py
create.py		create.py
functions.py		functions.py
general.py		general.py
graphs.py		graphs.py
macros.py		macros.py
update.py		update.py