From 7ef2e8ff9378347a0e6a4bb9159c0912afadc0f5 Mon Sep 17 00:00:00 2001
From: Lars Frost <larsf@fsmpi.rwth-aachen.de>
Date: Fri, 7 Oct 2022 13:43:14 +0200
Subject: [PATCH] Remove no longer used scripts and docs
---
Doku/make_doku_part.sh | 8 --------
Doku/xubuntu-desktop.tex | 4 ----
2 files changed, 12 deletions(-)
delete mode 100755 Doku/make_doku_part.sh
delete mode 100644 Doku/xubuntu-desktop.tex
diff --git a/Doku/make_doku_part.sh b/Doku/make_doku_part.sh
deleted file mode 100755
index bce9862..0000000
--- a/Doku/make_doku_part.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/bash
-
-set -e
-
-cat HEADER.tex $@ FOOTER.tex > tmp.tex
-pdflatex tmp.tex
-
-exit 0
diff --git a/Doku/xubuntu-desktop.tex b/Doku/xubuntu-desktop.tex
deleted file mode 100644
index 8d5e75c..0000000
--- a/Doku/xubuntu-desktop.tex
+++ /dev/null
@@ -1,4 +0,0 @@
-\subsection{xubuntu-Desktop}
-Xubuntu-Desktop installiert das XFCE-Desktop-Environment (kurz XFCE) zusammen mit den zugehörigen Standardprogrammen.
-XFCE ist etwas ressourcenschonender als KDE oder Gnome und ist damit ggf. besser für Netbooks oder ältere Geräte geeignet.
-Es hat dabei ein anderes Bedienkonzept als KDE oder Gnome. Nachdem xubuntu-desktop installiert wurde, kann es im Login-Manager vor dem Login ausgewählt werden.
--
GitLab