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 6ce547be3ed..6ce547be3ed 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 cd8ed875962..cd8ed875962 100755 --- a/docs-xml/scripts/find_missing_manpages.pl +++ b/docs-xml/scripts/find_missing_manpages |