diff options
Diffstat (limited to 'site/posts/Coqffi.org')
-rw-r--r-- | site/posts/Coqffi.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/site/posts/Coqffi.org b/site/posts/Coqffi.org index f8d9695..6116612 100644 --- a/site/posts/Coqffi.org +++ b/site/posts/Coqffi.org @@ -1,6 +1,6 @@ #+TITLE: A series on ~coqffi~ -#+SERIES: ../coq.html +#+SERIES: ./coq.html #+SERIES_PREV: AlgebraicDatatypes.html ~coqffi~ generates Coq FFI modules from compiled OCaml interface |