About this repository
Finding the Dependencies
The dependencies are listed in the file
Before running make for the first time, one has to run
This script generates the list of directories and pages inside
This script also has to be invoked whenever new pages are added, or existing ones are removed or renamed.
— Shlomi Fish (E-mail: firstname.lastname@example.org ).