diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-02-27 16:35:21 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-02-27 16:35:21 +0000 |
| commit | 8d8a3a544682a3689e99533ede019cd60a8e9ce6 (patch) | |
| tree | a2605f27e8231581ca2b0a711bafca1d6cc94dfe /docs/documentation.org | |
| parent | 7dabf0b931036148fd7986d7d75624d81c07f146 (diff) | |
| download | vericert-8d8a3a544682a3689e99533ede019cd60a8e9ce6.tar.gz vericert-8d8a3a544682a3689e99533ede019cd60a8e9ce6.zip | |
Update documentation links
Diffstat (limited to 'docs/documentation.org')
| -rw-r--r-- | docs/documentation.org | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/docs/documentation.org b/docs/documentation.org index e951f83..85bc8fd 100644 --- a/docs/documentation.org +++ b/docs/documentation.org @@ -48,10 +48,10 @@ Free Documentation License''. :CUSTOM_ID: building :END: -#+transclude: [[file:~/projects/vericert/README.org::#building][file:~/projects/vericert/README.org::#building]] :only-contents :exclude-elements "headline property-drawer" -#+transclude: [[file:~/projects/vericert/README.org::#downloading-compcert][file:~/projects/vericert/README.org::#downloading-compcert]] :level 2 -#+transclude: [[file:~/projects/vericert/README.org::#setting-up-nix][file:~/projects/vericert/README.org::#setting-up-nix]] :level 2 -#+transclude: [[file:~/projects/vericert/README.org::#makefile-build][file:~/projects/vericert/README.org::#makefile-build]] :level 2 +#+transclude: [[file:~/projects/vericert/README.org::#building][file:../README.org::#building]] :only-contents :exclude-elements "headline property-drawer" +#+transclude: [[file:~/projects/vericert/README.org::#downloading-compcert][file:../README.org::#downloading-compcert]] :level 2 +#+transclude: [[file:~/projects/vericert/README.org::#setting-up-nix][file:../README.org::#setting-up-nix]] :level 2 +#+transclude: [[file:~/projects/vericert/README.org::#makefile-build][file:../README.org::#makefile-build]] :level 2 ** Testing @@ -132,6 +132,10 @@ $ echo $? 50 #+end_src +** Man pages + +#+transclude: [[file:man.org][file:man.org]] :exclude-elements "keyword" :level 3 + * Unreleased Features :PROPERTIES: :EXPORT_FILE_NAME: unreleased |