第一次见软件文档是要自己编译的 。。。
EasyCrypt据说是一个密码学的自动证明工具（因为我文档还没看，所以只能据说了），然后他的文档在这，是latex的，有obsolete/userman和refman两个目录需要编译；根据里面的Makefile的描述，编译使用latexmk：
# e.g. ubuntu 18.04
sudo apt install latexmk
本来以为是make了以后就好了，没想到，很快啊，啪的一下就报错了，不过还好有报错信息，在refman.log/userman.log里，一看，不讲武德，缺包
网上查了一下，latexmk的包可以直接用包管理工具tlmgr安装，于是跟着走了一遍：
# actually, useless - -
tlmgr install collection-latex
然后就报错了cannot setup TLPDB
根据这里的说法，需要先进行一些初始化：
tlmgr init-usertree
搞定后再运行，又叫我装一个xzdec：
sudo apt install xzdec
装完后再运行，版本太高
根据这里的方法，换了个源：
tlmgr option repository ftp://tug.org/historic/systems/texlive/2017/tlnet-final
好不容易终于跑起来了，又报updmap需要-sys或者-user
暴力解决：
alias updmap="updmap -user"
然后如无意外的话到这需要安装的依赖都搞定了，可以开始装包了。其实后来我才发现上面装的collection-latex是没啥用的- -：
tlmgr install fixme xkeyval imakeidx microtype bold-extra xcolor stmaryrd # dsfont
其中有个dsfont好像用tlmgr是装不上的，解决方法是用apt安装：
sudo apt-get install texlive-fonts-extra
到这里然后就可以make出一个pdf了，但还是报了一点错（refman为例）
find了一下，这个文件在_build里，于是：
cp ./_build/tactics.idx ./
cp ./_build/refman.idx ./
再make的话应该没问题了（对refman来说）.
在编obsolete/userman的时候还有一个包multind不能用tlmgr安装，于是直接网上下了个（在obsolete/userman/目录下）
wget https://ctan.org/tex-archive/macros/latex209/contrib/misc/multind.sty
附上我编的两个文档：
原文链接：https://tover.xyz/p/easy-crypt-tex/