From c2fc4c10ac81b8815c1434aa2b0945aa937df4fa 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 | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'tools')

diff --git a/tools/progdoc b/tools/progdoc
index fc4024bf..9b27d14e 100755
--- a/tools/progdoc
+++ b/tools/progdoc
@@ -21,9 +21,9 @@ sub include {
 
 sub process {
   my $dir = shift @_;
-  print "$dir/Doc\n";
-  open(IN, "$dir/Doc") || die "Unable to read $dir/Doc";
-  push(@deps, "$dir/Doc");
+  print "$dir/progdoc\n";
+  open(IN, "$dir/progdoc") || die "Unable to read $dir/progdoc";
+  push(@deps, "$dir/progdoc");
   my @docfile = <IN>;
   close IN;
   foreach $_ (@docfile) {
-- 
cgit v1.2.3