From 718317ecef54d90070b29657f613e39892e38d10 Mon Sep 17 00:00:00 2001 From: Jelmer Vernooij Date: Wed, 26 Sep 2012 01:31:37 +0200 Subject: [PATCH] undocumented: Drop extension from helper scripts. --- docs-xml/Makefile | 6 +++--- docs-xml/scripts/{find_missing_doc.pl => find_missing_doc} | 0 .../{find_missing_manpages.pl => find_missing_manpages} | 0 3 files changed, 3 insertions(+), 3 deletions(-) rename docs-xml/scripts/{find_missing_doc.pl => find_missing_doc} (100%) rename docs-xml/scripts/{find_missing_manpages.pl => find_missing_manpages} (100%) diff --git a/docs-xml/Makefile b/docs-xml/Makefile index 0feab248021..0b4e880a8b9 100644 --- a/docs-xml/Makefile +++ b/docs-xml/Makefile @@ -260,9 +260,9 @@ $(PEARSONDIR)/%.report.html: $(PEARSONDIR)/%.xml cd $(