diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/lasso-book/Makefile.am | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/docs/lasso-book/Makefile.am b/docs/lasso-book/Makefile.am index f31e1b78..18fd1ade 100644 --- a/docs/lasso-book/Makefile.am +++ b/docs/lasso-book/Makefile.am @@ -1,3 +1,13 @@ + +if HAVE_REST2HTML +doc_DATA = writing-a-c-sp.html +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 + EXTRA_DIST = \ - lasso-book.txt + lasso-book.txt writing-a-c-sp.txt |