Attempt to fix build on Pop!_OS

pop-os · Oct 22, 2020 · fb5da5a · fb5da5a
1 parent 290028e
commit fb5da5a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/scripts/sphinx-pre-install b/scripts/sphinx-pre-install
@@ -652,6 +652,10 @@ sub check_distros()
 		give_redhat_hints;
 		return;
 	}
+	if ($system_release =~ /Pop!_OS/) {
+		give_debian_hints;
+		return;
+	}
 	if ($system_release =~ /Ubuntu/) {
 		give_debian_hints;
 		return;