summaryrefslogtreecommitdiff
path: root/Makefile (unfollow)
Commit message (Collapse)Author
2020-09-27Add update target to combine pull and devfpi
2020-08-23Add make target for dev+ branchfpi
2020-07-27Add experimental way to reduce amount of tanglingfpi
Works by saving the git commit hash upon tangling. Currently this does not record if tangling fails for some reason.
2020-07-23Make tangling of readme silentfpi
2020-07-16Add explicit make targets for readme tanglesfpi
2020-07-15Add make install target for fresh installationsfpi
2020-07-15Add a script to pull from origin with rebasefpi
2020-07-08Add a basic Makefilefpi