From 523c5d9f2b2348d2859264879d46d72e4aad4c35 Mon Sep 17 00:00:00 2001
From: "Ondrej Zajicek (work)" <santiago@crfreenet.org>
Date: Wed, 19 Dec 2018 16:29:20 +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 d7ea989e..4e967219 100755
--- a/tools/progdoc
+++ b/tools/progdoc
@@ -29,7 +29,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