aboutsummaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Collapse)Author
2025-07-09Store script in src directoryHEADmasterMatthijs van der Wild
2025-07-09Add MakefileMatthijs van der Wild
Using the script is a bit simpler if it is added to a location in the user's PATH with execution permission set. The Makefile will, in addition, remove the file extension. After running make it is a simple matter of using `pilot` on the command line.