diff --git a/.gitignore b/.gitignore
index 8ffffa51..19476c1f 100644
--- a/.gitignore
+++ b/.gitignore
@@ -63,7 +63,6 @@ venv*
 # extlib things
 /extlib/jquery/
 /extlib/leaflet/
-/extlib/tinymce/
 /extlib/video.js/
 /extlib/videojs-resolution-switcher
 
diff --git a/Makefile.in b/Makefile.in
index deb0f529..7b21241f 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -46,7 +46,7 @@ pkgdatadir = $(datadir)/@PACKAGE_NAME@
 pkgincludedir = $(includedir)/@PACKAGE_NAME@
 PYTHONPATH = $(pythondir)$(PATH_SEPARATOR)$(DESTDIR)$(pythondir)
 
-EXTLIB_INSTALLS = extlib/jquery extlib/video.js extlib/leaflet extlib/tinymce
+EXTLIB_INSTALLS = extlib/jquery extlib/video.js extlib/leaflet
 
 # pkgpythondir = @pkgpythondir@
 # pkgpyexecdir = @pkgpyexecdir@