| noinst_DATA= \ | |
| lambdamanual.html \ | |
| trans_xml_for_cat.pl \ | |
| user_manual_style.css \ | |
| lambda.html | |
| lambdamanual.html: ${srcdir}/lambdamanual_src.html ${srcdir}/trans_xml_for_cat.pl | |
| ${srcdir}/trans_xml_for_cat.pl <${srcdir}/lambdamanual_src.html >lambdamanual.html | |
| EXTRA_DIST=\ | |
| lambdamanual_src.html \ | |
| trans_xml_for_cat.pl \ | |
| user_manual_style.css \ | |
| lambda.html | |
| CLEANFILES=lambdamanual.html |