From 718317ecef54d90070b29657f613e39892e38d10 Mon Sep 17 00:00:00 2001 From: Jelmer Vernooij Date: Wed, 26 Sep 2012 01:31:37 +0200 Subject: undocumented: Drop extension from helper scripts. --- docs-xml/scripts/find_missing_manpages.pl | 39 ------------------------------- 1 file changed, 39 deletions(-) delete mode 100755 docs-xml/scripts/find_missing_manpages.pl (limited to 'docs-xml/scripts/find_missing_manpages.pl') diff --git a/docs-xml/scripts/find_missing_manpages.pl b/docs-xml/scripts/find_missing_manpages.pl deleted file mode 100755 index cd8ed87596..0000000000 --- a/docs-xml/scripts/find_missing_manpages.pl +++ /dev/null @@ -1,39 +0,0 @@ -#!/usr/bin/perl - -my %doc; - -$invar = 0; - -$topdir = (shift @ARGV) or $topdir = "."; - -$progs = ""; - -open(IN, "$topdir/Makefile.in"); -while() { - if($invar && /^([ \t]*)(.*?)([\\])$/) { - $progs.=" " . $2; - if($4) { $invar = 1; } else { $invar = 0; } - } elsif(/^([^ ]*)_PROGS([0-9]*) = (.*?)([\\])$/) { - $progs.=" " . $3; - if($4) { $invar = 1; } - } else { $invar = 0; } -} - -$progs =~ s/@([^@]+)@//g; - -foreach(split(/bin\//, $progs)) { - next if($_ eq " "); - s/ //g; - - $f = $_; - - $found = 0; - - for($i = 0; $i < 9; $i++) { - if(-e "manpages/$f.$i.xml") { $found = 1; } - } - - if(!$found) { - print "'$f' does not have a manpage\n"; - } -} -- cgit