aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorbors-servo <servo-ops@mozilla.com>2020-05-04 21:44:31 -0400
committerGitHub <noreply@github.com>2020-05-04 21:44:31 -0400
commit173bfadaa75d35e88bb5f51fbff56ab9caaae552 (patch)
tree27476232f2b9fa558404d4bb85b4c4f3e15bb9d3
parentbdfd17f9a9ec269f7fedfbbc271080176237d501 (diff)
parent77422af5d04195f65325887d354c37d803d9e294 (diff)
downloadservo-173bfadaa75d35e88bb5f51fbff56ab9caaae552.tar.gz
servo-173bfadaa75d35e88bb5f51fbff56ab9caaae552.zip
Auto merge of #26418 - CrazyRoka:fix-fedora-installation-guide, r=jdm
Fix Fedora installation guide Added necessary library to guide for successful installation on Fedora Linux. Closes #26417
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index d2c4fe16f65..a103aa9c788 100644
--- a/README.md
+++ b/README.md
@@ -89,7 +89,7 @@ If you get an undefined symbol error on `gst_player_get_config` try removing `gi
#### On Fedora
``` sh
-sudo dnf install python3 python3-virtualenv python3-pip
+sudo dnf install python3 python3-virtualenv python3-pip python3-devel
python3 ./mach bootstrap
```