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

---
 tools/progdoc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tools/progdoc')

diff --git a/tools/progdoc b/tools/progdoc
index ef44d3aa..495d9287 100755
--- a/tools/progdoc
+++ b/tools/progdoc
@@ -20,8 +20,8 @@ sub include {
 
 sub process {
   my $dir = shift @_;
-  print "$dir/Doc\n";
-  open(IN, "$srcdir/$dir/Doc") || die "Unable to read $dir/Doc";
+  print "$dir/progdoc\n";
+  open(IN, "$srcdir/$dir/progdoc") || die "Unable to read $dir/progdoc";
   my @docfile = <IN>;
   close IN;
   foreach $_ (@docfile) {
-- 
cgit v1.2.3