fix: indicate dependency on pkgconf in ubuntu docs

leanprover · Jan 14, 2025 · 9232e28 · 9232e28
1 parent 9dbe5e6
commit 9232e28
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/make/ubuntu.md b/doc/make/ubuntu.md
@@ -8,5 +8,5 @@ follow the [generic build instructions](index.md).
 ## Basic packages
 
 ```bash
-sudo apt-get install git libgmp-dev libuv1-dev cmake ccache clang
+sudo apt-get install git libgmp-dev libuv1-dev cmake ccache clang pkgconf
 ```