第一次见软件文档是要自己编译的 。。。

EasyCrypt据说是一个密码学的自动证明工具（因为我文档还没看，所以只能据说了），然后他的文档在这，是latex的，有obsolete/userman和refman两个目录需要编译；根据里面的Makefile的描述，编译使用latexmk：

1
2
# e.g. ubuntu 18.04
sudo apt install latexmk

本来以为是make了以后就好了，没想到，很快啊，啪的一下就报错了，不过还好有报错信息，在refman.log/userman.log里，一看，不讲武德，缺包

网上查了一下，latexmk的包可以直接用包管理工具tlmgr安装，于是跟着走了一遍：

1
2
# actually, useless - -
tlmgr install collection-latex

然后就报错了cannot setup TLPDB

根据这里的说法，需要先进行一些初始化：

1
tlmgr init-usertree

搞定后再运行，又叫我装一个xzdec：

1
sudo apt install xzdec

装完后再运行，版本太高

根据这里的方法，换了个源：

1
tlmgr option repository ftp://tug.org/historic/systems/texlive/2017/tlnet-final

好不容易终于跑起来了，又报updmap需要-sys或者-user

暴力解决：

1
alias updmap="updmap -user"

然后如无意外的话到这需要安装的依赖都搞定了，可以开始装包了。其实后来我才发现上面装的collection-latex是没啥用的- -：

1
tlmgr install fixme xkeyval imakeidx microtype bold-extra xcolor stmaryrd # dsfont

其中有个dsfont好像用tlmgr是装不上的，解决方法是用apt安装：

1
sudo apt-get install texlive-fonts-extra

到这里然后就可以make出一个pdf了，但还是报了一点错（refman为例）

find了一下，这个文件在_build里，于是：

1
2
cp ./_build/tactics.idx ./
cp ./_build/refman.idx ./

再make的话应该没问题了（对refman来说）.

在编obsolete/userman的时候还有一个包multind 不能用tlmgr安装，于是直接网上下了个（在obsolete/userman/目录下）

1
wget https://ctan.org/tex-archive/macros/latex209/contrib/misc/multind.sty

附上我编的两个文档：