Doc: Rename code documentation files back to Doc

2024-11-08 12:18:42 +00:00 · 2018-12-19 16:29:20 +01:00 · 2018-12-19 16:29:20 +01:00 · 523c5d9f2b
commit 523c5d9f2b
parent d1c8f22bec
18 changed files with 1 additions and 1 deletions
--- a/client/progdoc
+++ b/client/progdoc
--- a/conf/progdoc
+++ b/conf/progdoc
--- a/filter/progdoc
+++ b/filter/progdoc
--- a/lib/progdoc
+++ b/lib/progdoc
--- a/nest/progdoc
+++ b/nest/progdoc
--- a/proto/progdoc
+++ b/proto/progdoc
--- a/proto/babel/progdoc
+++ b/proto/babel/progdoc
--- a/proto/bfd/progdoc
+++ b/proto/bfd/progdoc
--- a/proto/bgp/progdoc
+++ b/proto/bgp/progdoc
--- a/proto/mrt/progdoc
+++ b/proto/mrt/progdoc
--- a/proto/ospf/progdoc
+++ b/proto/ospf/progdoc
--- a/proto/pipe/progdoc
+++ b/proto/pipe/progdoc
--- a/proto/radv/progdoc
+++ b/proto/radv/progdoc
--- a/proto/rip/progdoc
+++ b/proto/rip/progdoc
--- a/proto/static/progdoc
+++ b/proto/static/progdoc
--- a/sysdep/progdoc
+++ b/sysdep/progdoc
--- a/sysdep/unix/progdoc
+++ b/sysdep/unix/progdoc
--- 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";