diff --git a/src/jbuild b/src/jbuild index abbf3c45..c2618e45 100644 --- a/src/jbuild +++ b/src/jbuild @@ -2,7 +2,7 @@ (library ((name jbuilder) - (public_name jbuilder) +;; (public_name jbuilder) (libraries (unix jbuilder_re)) (synopsis "Internal Jbuilder library, do not use!"))) diff --git a/vendor/re/src/jbuild b/vendor/re/src/jbuild index 25eb16e1..107e1ad5 100644 --- a/vendor/re/src/jbuild +++ b/vendor/re/src/jbuild @@ -2,5 +2,5 @@ (library ((name jbuilder_re) - (public_name jbuilder.re) +;; (public_name jbuilder.re) (synopsis "Internal Jbuilder library, do not use!")))