mirror of
https://github.com/LedgerHQ/openpgp-card-app
synced 2024-11-09 07:10:30 +00:00
0908c34e7e
- Align README with default Boilerplate content - Update README with Tests and Documentation details - README few formatting - Update OpenPGP Specifications to 3.3 - Update the Developer and User documentations (formatting, rewritting, adding new elements...) - PDF generation of both Developer and User documents - Provide patch file to update CCID driver with correct Ledger device Ids - Use the renamed app-openpgp
25 lines
573 B
Bash
Executable File
25 lines
573 B
Bash
Executable File
#!/bin/bash
|
|
|
|
NAMES=()
|
|
NAMES+=(user/app-openpgp)
|
|
NAMES+=(developer/gpgcard-addon)
|
|
|
|
OPTIONS=()
|
|
OPTIONS+=("--standalone")
|
|
OPTIONS+=("--from=rst")
|
|
OPTIONS+=("--to=latex")
|
|
OPTIONS+=("--variable=papersize:A4")
|
|
OPTIONS+=("--variable=geometry:margin=1in")
|
|
OPTIONS+=("--variable=fontsize:10pt")
|
|
OPTIONS+=("--toc")
|
|
OPTIONS+=("--number-sections")
|
|
OPTIONS+=("--template=template.latex")
|
|
|
|
for name in "${NAMES[@]}"; do
|
|
rm -f "${name}.pdf"
|
|
dir=$(dirname "${name}")
|
|
file=$(basename "${name}")
|
|
|
|
(cd "${dir}"; pandoc ${OPTIONS[@]} --output="${file}.pdf" "${file}.rst")
|
|
done
|