https://github.com/eldesh/coq-refman-ja
Coq reference manual (Japanese Translation)
https://github.com/eldesh/coq-refman-ja
Last synced: 3 months ago
JSON representation
Coq reference manual (Japanese Translation)
- Host: GitHub
- URL: https://github.com/eldesh/coq-refman-ja
- Owner: eldesh
- Created: 2020-01-15T14:07:47.000Z (over 5 years ago)
- Default Branch: master
- Last Pushed: 2022-02-26T15:22:43.000Z (over 3 years ago)
- Last Synced: 2025-01-26T20:47:08.750Z (4 months ago)
- Language: Makefile
- Homepage: https://eldesh.github.io/coq-refman-ja/
- Size: 9.46 MB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 2
-
Metadata Files:
- Readme: readme.md
Awesome Lists containing this project
README
# Coq リファレンスマニュアル 非公式日本語訳
## Requirements
- OCaml
- OmegaT
- Java
- Sphinx
- gettext
## Clone this repository
```sh
$ 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
```sh
$ docker-compose build
```
### Build on the builder image
```sh
$ docker-compose run --rm builder make html
```
## Build on local env
### Prepare prerequiresites
```sh
$ 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
```sh
$ make html [OMEGAT=/path/to/omegat.jar]
```