Skip to content

Latest commit

 

History

History
55 lines (34 loc) · 783 Bytes

readme.md

File metadata and controls

55 lines (34 loc) · 783 Bytes
Raw

Coq リファレンスマニュアル 非公式日本語訳

Requirements

  • OCaml
  • OmegaT
  • Java
  • Sphinx
  • gettext

Clone this repository

$ git clone [email protected]:eldesh/coq-refman-ja
$ cd coq-refman-ja
$ git submodule init
$ git submodule update

Build on docker

Build a builder image

$ docker-compose build

Build on the builder image

$ docker-compose run --rm builder make html

Build on local env

Prepare prerequiresites

$ sudo apt-get install opam
$ pip3 install -r requirements.txt
$ curl https://jaist.dl.sourceforge.net/project/omegat/OmegaT%20-%20Standard/OmegaT%204.3.1/OmegaT_4.3.1_Linux_64.tar.bz2 | tar -jxf -

Generate documents

$ make html [OMEGAT=/path/to/omegat.jar]