diff options
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 1c1e538ab..19e5ab4a3 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -83,7 +83,7 @@ templates-clean: # if you want to regenerate them. # sessions: - for file in "$(wildcard sessions/*.run)"; do \ + for file in $(wildcard sessions/*.run); do \ $(BST2HTML) --description $$file; \ done |