Doc: Rename code documentation files back to Doc

diff --git a/client/progdoc b/client/Doc
similarity index 100%
rename from client/progdoc
rename to client/Doc

diff --git a/conf/progdoc b/conf/Doc
similarity index 100%
rename from conf/progdoc
rename to conf/Doc

diff --git a/filter/progdoc b/filter/Doc
similarity index 100%
rename from filter/progdoc
rename to filter/Doc

diff --git a/lib/progdoc b/lib/Doc
similarity index 100%
rename from lib/progdoc
rename to lib/Doc

diff --git a/nest/progdoc b/nest/Doc
similarity index 100%
rename from nest/progdoc
rename to nest/Doc

diff --git a/proto/progdoc b/proto/Doc
similarity index 100%
rename from proto/progdoc
rename to proto/Doc

diff --git a/proto/babel/progdoc b/proto/babel/Doc
similarity index 100%
rename from proto/babel/progdoc
rename to proto/babel/Doc

diff --git a/proto/bfd/progdoc b/proto/bfd/Doc
similarity index 100%
rename from proto/bfd/progdoc
rename to proto/bfd/Doc

diff --git a/proto/bgp/progdoc b/proto/bgp/Doc
similarity index 100%
rename from proto/bgp/progdoc
rename to proto/bgp/Doc

diff --git a/proto/mrt/progdoc b/proto/mrt/Doc
similarity index 100%
rename from proto/mrt/progdoc
rename to proto/mrt/Doc

diff --git a/proto/ospf/progdoc b/proto/ospf/Doc
similarity index 100%
rename from proto/ospf/progdoc
rename to proto/ospf/Doc

diff --git a/proto/pipe/progdoc b/proto/pipe/Doc
similarity index 100%
rename from proto/pipe/progdoc
rename to proto/pipe/Doc

diff --git a/proto/radv/progdoc b/proto/radv/Doc
similarity index 100%
rename from proto/radv/progdoc
rename to proto/radv/Doc

diff --git a/proto/rip/progdoc b/proto/rip/Doc
similarity index 100%
rename from proto/rip/progdoc
rename to proto/rip/Doc

diff --git a/proto/static/progdoc b/proto/static/Doc
similarity index 100%
rename from proto/static/progdoc
rename to proto/static/Doc

diff --git a/sysdep/progdoc b/sysdep/Doc
similarity index 100%
rename from sysdep/progdoc
rename to sysdep/Doc

diff --git a/sysdep/unix/progdoc b/sysdep/unix/Doc
similarity index 100%
rename from sysdep/unix/progdoc
rename to sysdep/unix/Doc

diff --git a/tools/progdoc b/tools/progdoc
index 32e9771ebf980cb1468fcc8f39119fbc46317f6a..d576ee6168df9d398af689fe943dfd43d4cd5f59 100755 (executable)
--- 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";