Support Ubuntu 20.04; drop erlang-os-mon dep
diff --git a/Makefile b/Makefile
index ab84618..2f6d96d 100644
--- a/Makefile
+++ b/Makefile
@@ -92,6 +92,15 @@
ubuntu-bionic: bionic
bionic: debian
+# Ubuntu 20.04 (Focal)
+ubuntu-focal: PLATFORM=focal
+ubuntu-focal: DIST=ubuntu-focal
+ubuntu-focal: SPIDERMONKEY=libmozjs-68-0
+ubuntu-focal: SPIDERMONKEY_DEV=libmozjs-68-dev
+ubuntu-focal: SM_VER=68
+ubuntu-focal: focal
+focal: debian
+
# RPM default
centos: PKGDIR=../rpmbuild/RPMS/$(PKGARCH)
diff --git a/debian/control.in b/debian/control.in
index 789a868..a5e6e71 100644
--- a/debian/control.in
+++ b/debian/control.in
@@ -12,7 +12,6 @@
erlang-eunit | esl-erlang,
erlang-inets | esl-erlang,
erlang-xmerl | esl-erlang,
- erlang-os-mon | esl-erlang,
erlang-reltool | esl-erlang,
erlang-syntax-tools | esl-erlang,
git,
