Skip to content

Commit 31c837e

Browse files
authored
switches the docbuilder to odig (#1079)
* wip * wip * merge with ad actions branch * swaped libraries * refactoring * fixes links
1 parent aa91c26 commit 31c837e

File tree

10 files changed

+265
-661
lines changed

10 files changed

+265
-661
lines changed

Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@ build: setup.ml
99

1010
.PHONY: doc
1111
doc:
12-
@ocamlbuild -pkg bap bapdoc.native
12+
@ocamlbuild -pkgs bap,bap-plugins,core_kernel tools/bapdoc.native
1313
make -C doc
1414

1515
all:

bapdoc.ml

Lines changed: 0 additions & 294 deletions
This file was deleted.

0 commit comments

Comments
 (0)