#!/bin/bash
python mki18n.py -p --domain=easycrypt easycrypt/