diff --git a/_oasis b/_oasis index f75cfed6..112df6b1 100644 --- a/_oasis +++ b/_oasis @@ -43,13 +43,13 @@ Library cmdlinergen Modules: Cmdlinergen BuildDepends: rpclib.core, rpclib.json, cmdliner -Library htmlgen - Path: lib - CompiledObject: best - FindlibParent: rpclib - Findlibname: html - Modules: Htmlgen - BuildDepends: rpclib.core, cow +#Library htmlgen +# Path: lib +# CompiledObject: best +# FindlibParent: rpclib +# Findlibname: html +# Modules: Htmlgen +# BuildDepends: rpclib.core, cow Library markdowngen Path: lib diff --git a/_tags b/_tags index 6ab5a0cd..eb84fad7 100644 --- a/_tags +++ b/_tags @@ -1,5 +1,5 @@ # OASIS_START -# DO NOT EDIT (digest: c65a95a523925454ac31a4b9eace2025) +# DO NOT EDIT (digest: ee457f80c439d0c8f96fdb5309c29d25) # Ignore VCS directories, you can use the same kind of rule outside # OASIS_START/STOP if you want to exclude directories that contains # useless stuff for the build process @@ -23,9 +23,6 @@ true: annot, bin_annot # Library cmdlinergen "lib/cmdlinergen.cmxs": use_cmdlinergen : pkg_cmdliner -# Library htmlgen -"lib/htmlgen.cmxs": use_htmlgen -: pkg_cow # Library markdowngen "lib/markdowngen.cmxs": use_markdowngen : use_json