#! /bin/bash -e
# Last edited on 2025-10-28 18:12:16 by stolfi

FB := ${HOME}/projects/voynich/FromBeinecke
WORK := ${HOME}/projects/voynich/work
BIN := ${HOME}/bin