sascha
/
difftastic
mirror of https://github.com/Wilfred/difftastic/
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Configure translated manual deploy

pull/392/head
Wilfred Hughes 2022-09-23 23:05:34 +07:00
parent 4fa09c4cdf
commit b1fcd79da5
2 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
.github/workflows/deploy_docs.yml vendored
Unescape Escape View File

@ -28,9 +28,16 @@ jobs:
run: mdbook build run: mdbook build
working-directory: manual working-directory: manual
- name: Build translated manual
run: mdbook build
working-directory: translation/zh-CN/manual-zh-CN
- name: Add rustdoc output - name: Add rustdoc output
run: cp -r target/doc manual/book/rustdoc run: cp -r target/doc manual/book/rustdoc
- name: Add translated manual output
run: cp -r translation/zh-CN/manual-zh-CN/book manual/book/zh-CN
- name: Deploy to GitHub pages - name: Deploy to GitHub pages
uses: JamesIves/github-pages-deploy-action@v4.4.0 uses: JamesIves/github-pages-deploy-action@v4.4.0
with: with:

6
translation/zh-CN/manual-zh-CN/book.toml
Unescape Escape View File

@ -1,6 +1,6 @@
[book] [book]
authors = ["Wilfred Hughes"] authors = ["Wilfred Hughes"]
language = "en" language = "zh-CN"
multilingual = false multilingual = false
src = "src" src = "src"
title = "Difftastic Manual" title = "Difftastic Manual"
@ -9,10 +9,6 @@ description = "The official manual for difftastic, the syntactic differ"
[output.html] [output.html]
git-repository-url = "https://github.com/wilfred/difftastic" git-repository-url = "https://github.com/wilfred/difftastic"
[output.html.redirect]
"/getting_started.html" = "./installation.html"
"/upstream_parsers.html" = "/languages_supported.html"
[output.html.playground] [output.html.playground]
copyable = false copyable = false