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