diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 16:37:03 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-10-09 16:37:03 +0100 |
commit | 20ed00b92c1a5bf2806a27e9c85d90c6d265e5b2 (patch) | |
tree | 266a5a3216da6bb4544d25be617c8f7aba2904b5 | |
parent | e2bbdafecc8f335d58d7137519392d9c909009fe (diff) | |
download | vericert-docs-20ed00b92c1a5bf2806a27e9c85d90c6d265e5b2.tar.gz vericert-docs-20ed00b92c1a5bf2806a27e9c85d90c6d265e5b2.zip |
Add aliases
-rw-r--r-- | documentation.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/documentation.org b/documentation.org index 4962faa..eb283b0 100644 --- a/documentation.org +++ b/documentation.org @@ -632,7 +632,7 @@ Blog posts: :EXPORT_DATE: 2021-10-09 :EXPORT_FILE_NAME: a-first-look-at-vericert :EXPORT_HUGO_SECTION: blog -:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :summary "Vericert is a formally verified high-level synthesis tool, translating C code into a hardware design expressed in Verilog." +:EXPORT_HUGO_CUSTOM_FRONT_MATTER: :summary "Vericert is a formally verified high-level synthesis tool, translating C code into a hardware design expressed in Verilog." :aliases '("/2021/09/a-first-look-at-vericert/") :CUSTOM_ID: a-first-look-at-vericert :END: |