diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2021-09-19 14:20:15 +0100 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-19 14:20:15 +0100 |
| commit | 4817968ab6439ef3830059dfd6cae2149fca8a17 (patch) | |
| tree | e377914a5959c96aa1e208c3ab128a7aaa7b4acd | |
| parent | a2abe3182242953ba5dff5500399def0682fa10e (diff) | |
| download | vericert-docs-4817968ab6439ef3830059dfd6cae2149fca8a17.tar.gz vericert-docs-4817968ab6439ef3830059dfd6cae2149fca8a17.zip | |
Add custom_id to titles
| -rw-r--r-- | documentation.org | 4 | ||||
| -rw-r--r-- | setup.org | 4 |
2 files changed, 5 insertions, 3 deletions
diff --git a/documentation.org b/documentation.org index 7503fd5..eca011f 100644 --- a/documentation.org +++ b/documentation.org @@ -6,6 +6,7 @@ * Vericert :PROPERTIES: :EXPORT_FILE_NAME: _index +:CUSTOM_ID: vericert :END: A formally verified high-level synthesis (HLS) tool written in Coq, building on top of [[https://github.com/AbsInt/CompCert][CompCert]]. @@ -154,11 +155,11 @@ Or by running the test suite using the following command: #+begin_src shell make test #+end_src - ** Using Vericert :PROPERTIES: :EXPORT_FILE_NAME: using-vericert :EXPORT_HUGO_SECTION: docs +:CUSTOM_ID: using-vericert :END: Vericert can be used to translate a subset of C into Verilog. As a simple example, consider the @@ -222,6 +223,7 @@ $ echo $? :PROPERTIES: :EXPORT_FILE_NAME: unreleased :EXPORT_HUGO_SECTION: docs +:CUSTOM_ID: unreleased-features :END: The following are unreleased features in Vericert that are currently being worked on and have not @@ -2,8 +2,8 @@ #+hugo_section: ./ #+macro: link src_emacs-lisp[:results raw]{(ymhg/link "$1" "$2")} -#+macro: texinfo_head (eval (if (eq org-export-current-backend 'texinfo) "#+exclude_tags: noexport_texinfo" "")) -#+macro: latex_head (eval (if (eq org-export-current-backend 'latex) "#+exclude_tags: noexport_latex" "")) +#+macro: texinfo_head (eval (if (eq org-export-current-backend 'texinfo) "#+exclude_tags: noexport_texinfo" "#+exclude_tags: onlyexport_texinfo")) +#+macro: latex_head (eval (if (eq org-export-current-backend 'latex) "#+exclude_tags: noexport_latex" "#+exclude_tags: onlyexport_latex")) {{{texinfo_head}}} {{{latex_head}}} |