From 3a2a3c7325b34923c4ecc465700708dd13e6ad73 Mon Sep 17 00:00:00 2001
From: "Ondrej Zajicek (work)" <santiago@crfreenet.org>
Date: Fri, 14 Dec 2018 02:03:42 +0100
Subject: Doc: Rename code documentation files back to Doc

---
 tools/progdoc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools')

diff --git a/tools/progdoc b/tools/progdoc
index 32e9771e..d576ee61 100755
--- a/tools/progdoc
+++ b/tools/progdoc
@@ -33,7 +33,7 @@ sub process {
     /^([A-Z]+)\s*(.*)/ || die "Parse error: $_";
     $cmd = $1;
     $arg = $2;
-    if ($cmd eq "C") { process("$dir/$arg", "progdoc"); }
+    if ($cmd eq "C") { process("$dir/$arg", "Doc"); }
     elsif ($cmd eq "H") {
       push @stack, "H";
       print OUT "<chapt>$arg\n";
-- 
cgit v1.2.3