From 7904f409e2a11221b852505d6522b65b6c2900c7 Mon Sep 17 00:00:00 2001
From: Maria Matejka <mq@jmq.cz>
Date: Mon, 23 Apr 2018 11:29:13 +0200
Subject: Doc: renamed progdoc files Doc -> progdoc to fix collision with doc/
 folder on case-insensitive filesystems

---
 doc/Doc     | 1 -
 doc/progdoc | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)
 delete mode 100644 doc/Doc
 create mode 100644 doc/progdoc

(limited to 'doc')

diff --git a/doc/Doc b/doc/Doc
deleted file mode 100644
index 0c3e04e5..00000000
--- a/doc/Doc
+++ /dev/null
@@ -1 +0,0 @@
-D prog-intro.sgml
diff --git a/doc/progdoc b/doc/progdoc
new file mode 100644
index 00000000..0c3e04e5
--- /dev/null
+++ b/doc/progdoc
@@ -0,0 +1 @@
+D prog-intro.sgml
-- 
cgit v1.2.3