diff --git a/lib/erl/Makefile b/lib/erl/Makefile
index 7c76331..bbfb683 100644
--- a/lib/erl/Makefile
+++ b/lib/erl/Makefile
@@ -8,3 +8,11 @@
 
 install: all
 	echo 'No install target, sorry.'
+
+check: all
+
+distclean: clean
+
+# Hack to make "make dist" work.
+# This should not work, but it appears to.
+distdir: