euflag.dtx euflag.ins euflag.pdf MANIFEST README.md VERSION