diff --git a/ivette/Makefile b/ivette/Makefile
index 4f3a0f25ee78dd22cf97fb27963045569399dcfa..c2b5abe73d4cd5d71758a12dac33a7f3a68d1310 100644
--- a/ivette/Makefile
+++ b/ivette/Makefile
@@ -119,7 +119,8 @@ DOC_GUIDES= src/dome/doc/guides
 
 NODEBIN= ./node_modules/.bin
 
-DOCDIRS= src/ivette src/frama-c src/dome/renderer src/dome/utils
+DOCDIRS= src/ivette src/dome/renderer src/dome/utils src/frama-c/api
+DOCFILES= src/frama-c/server.ts src/frama-c/states.ts $(shell find $(DOCDIRS) -name "*.ts" -or -name "*.tsx")
 
 icons: $(DOC_ICONS_GALLERY)
 
@@ -131,7 +132,7 @@ $(DOC_ICONS_GALLERY): $(DOC_ICONS_MAKE) $(DOC_ICONS_DATA)
 doc: $(NODEBIN)/typedoc icons
 	@echo "\n[Ivette] documentation"
 	@rm -fr doc/html
-	@yarn run typedoc $(shell find $(DOCDIRS) -name "*.ts" -or -name "*.tsx")
+	@yarn run typedoc $(DOCFILES)
 	@echo "\n[Ivette] main page"
 	@echo "   file://$(PWD)/doc/html/index.html"
 
diff --git a/ivette/src/dome/renderer/table/arrays.ts b/ivette/src/dome/renderer/table/arrays.ts
index 95e459ab91b91191763dc4b94e575d70bfba4522..5dc126e4f907fc72493ad5d6f9403f6f71f2c7c0 100644
--- a/ivette/src/dome/renderer/table/arrays.ts
+++ b/ivette/src/dome/renderer/table/arrays.ts
@@ -43,13 +43,13 @@ import {
 
 export type ByColumns<Row> = { [dataKey: string]: Compare.Order<Row> };
 
-interface PACK<Key, Row> {
+export interface PACK<Key, Row> {
   index: number | undefined;
   key: Key;
   row: Row;
 }
 
-type SORT<K, R> = Order<PACK<K, R>>;
+export type SORT<K, R> = Order<PACK<K, R>>;
 
 function orderBy<K, R>(
   columns: ByColumns<R>,
diff --git a/ivette/src/dome/renderer/text/buffers.ts b/ivette/src/dome/renderer/text/buffers.ts
index 5fe857bd0dd994b3c459503ff52c3b7a79745cd9..50a6ad1310797c6245412ab99154be2f56354c21 100644
--- a/ivette/src/dome/renderer/text/buffers.ts
+++ b/ivette/src/dome/renderer/text/buffers.ts
@@ -113,7 +113,7 @@ function byVisibleTag(lmin: number, lmax: number) {
 // --- Buffer
 // --------------------------------------------------------------------------
 
-type TextMarker = CodeMirror.TextMarker<CodeMirror.MarkerRange>;
+export type TextMarker = CodeMirror.TextMarker<CodeMirror.MarkerRange>;
 
 export interface RichTextBufferProps {
 
diff --git a/ivette/tsconfig.json b/ivette/tsconfig.json
index e276642778af162ccd56b9d2af94700d3f5e2399..5674a51edb47c9a247465452802fe6ebbc8c1350 100644
--- a/ivette/tsconfig.json
+++ b/ivette/tsconfig.json
@@ -97,7 +97,6 @@
     "excludeExternals": true,
     "categorizeByGroup": false,
     "categoryOrder": [ "Hooks", "Components", "*", "Other" ],
-    "listInvalidSymbolLinks":true,
     "hideGenerator":true,
     "includes": "src/dome/doc/guides",
     "customCss": "src/dome/doc/gallery.css",