diff options
Diffstat (limited to 'docs-xml/scripts')
| -rwxr-xr-x | docs-xml/scripts/find_missing_doc (renamed from docs-xml/scripts/find_missing_doc.pl) | 0 | ||||
| -rwxr-xr-x | docs-xml/scripts/find_missing_manpages (renamed from docs-xml/scripts/find_missing_manpages.pl) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/docs-xml/scripts/find_missing_doc.pl b/docs-xml/scripts/find_missing_doc index 6ce547be3e..6ce547be3e 100755 --- a/docs-xml/scripts/find_missing_doc.pl +++ b/docs-xml/scripts/find_missing_doc diff --git a/docs-xml/scripts/find_missing_manpages.pl b/docs-xml/scripts/find_missing_manpages index cd8ed87596..cd8ed87596 100755 --- a/docs-xml/scripts/find_missing_manpages.pl +++ b/docs-xml/scripts/find_missing_manpages |