From 4abc5c945e305df24476f2cc93b63353c3dd922e Mon Sep 17 00:00:00 2001 From: Jelmer Vernooij Date: Fri, 1 May 2009 04:40:55 +0200 Subject: Fix 'make undocumented' (by hardcoding the source path, now that the docs live in the same git repo) --- docs-xml/scripts/find_missing_manpages.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (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 index 39bf7983ff..90d9f6abe8 100755 --- a/docs-xml/scripts/find_missing_manpages.pl +++ b/docs-xml/scripts/find_missing_manpages.pl @@ -32,7 +32,7 @@ foreach(split(/bin\//, $progs)) { $found = 0; for($i = 0; $i < 9; $i++) { - if(-e "manpages/$f.$i.xml") { $found = 1; } + if(-e "manpages-3/$f.$i.xml") { $found = 1; } } if(!$found) { -- cgit