diff --git a/src/Makefile b/src/Makefile index ad749f62beb1e63088c0bdb9b879db320e348276..67cc11b23139f8635cc14260022830f8d9208191 100644 --- a/src/Makefile +++ b/src/Makefile @@ -40,6 +40,14 @@ reinstall: uninstall show: reinstall @ echo "#require \"fix\";;\n#show Fix;;" | ocaml +.PHONY: pin +pin: + opam pin add $(THIS) . + +.PHONY: unpin +unpin: + opam pin remove $(THIS) + # This requires a version of headache that supports UTF-8; please use # https://github.com/fpottier/headache