diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/lasso-book/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/lasso-book/Makefile.am b/docs/lasso-book/Makefile.am index 55695685..b7eef138 100644 --- a/docs/lasso-book/Makefile.am +++ b/docs/lasso-book/Makefile.am @@ -6,8 +6,8 @@ else doc_DATA = writing-a-c-sp.txt endif -writing-a-c-sp.html: writing-a-c-sp.txt - $(REST2HTML) writing-a-c-sp.txt > writing-a-c-sp.html +%.html: %.txt + $(REST2HTML) $? > $@ EXTRA_DIST = \ lasso-book.txt writing-a-c-sp.txt |