diff options
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 |