From 57df73a3229af355fdd06efedfa47a46f8cf3de8 Mon Sep 17 00:00:00 2001
From: Benedikt Reiz <41583627+LustigePerson@users.noreply.github.com>
Date: Thu, 16 Jul 2020 11:31:30 +0200
Subject: [PATCH] Removed optional texlive-fonts-extra

Reduces the image size by >1 GB
---
 minimal-notebook/Dockerfile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/minimal-notebook/Dockerfile b/minimal-notebook/Dockerfile
index 8b4051d6..c053b1c5 100644
--- a/minimal-notebook/Dockerfile
+++ b/minimal-notebook/Dockerfile
@@ -25,8 +25,6 @@ RUN apt-get update && apt-get install -yq --no-install-recommends \
     texlive-xetex \
     texlive-fonts-recommended \
     texlive-plain-generic \
-    # Optional dependency
-    texlive-fonts-extra \
     # ----
     tzdata \
     unzip \