From 3622cae3b87ea516014d90d033348c46829ac73a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rostislav=20L=C3=A1n?= Date: Sat, 6 May 2023 16:21:58 +0200 Subject: [PATCH] Removed unused makefile. --- makefile | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 makefile diff --git a/makefile b/makefile deleted file mode 100644 index 6aa1124..0000000 --- a/makefile +++ /dev/null @@ -1,5 +0,0 @@ -# Author: xlanro00 -# Makefile pro preklad manualu a dokumentace - -manual: - pandoc doc/manual/manual.md -o doc/manual/manual.html