Skip to content

Commit 057f2c0

Browse files
committed
README.md: publishLocal dotty-interfaces too
`publishLocal` only publish dotty itself right now.
1 parent 9ce2602 commit 057f2c0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ bridge yourself:
77
```shell
88
git clone https://github.com/lampepfl/dotty.git
99
cd dotty
10-
sbt publishLocal
10+
sbt ";dotty-interfaces/publishLocal;publishLocal"
1111
cd ..
1212

1313
git clone https://github.com/smarter/dotty-bridge.git

0 commit comments

Comments
 (0)