diff options
Diffstat (limited to 'testing/repo-tools/build-fix-doc.patch')
| -rw-r--r-- | testing/repo-tools/build-fix-doc.patch | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/testing/repo-tools/build-fix-doc.patch b/testing/repo-tools/build-fix-doc.patch deleted file mode 100644 index 701b9dd52b9..00000000000 --- a/testing/repo-tools/build-fix-doc.patch +++ /dev/null @@ -1,11 +0,0 @@ -diff --git a/doc/all.do b/doc/all.do -index b0d6412..418ab57 100644 ---- a/doc/all.do -+++ b/doc/all.do -@@ -1,5 +1,5 @@ - exec >&2 - --man_pages=$(find . -name '*.scd' -exec basename -s .scd {} \;) -+man_pages=$(find . -name '*.scd' -exec basename {} .scd \;) - - redo-ifchange $man_pages |