diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/ka_method/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/ka_method/Makefile b/docs/ka_method/Makefile index 354c83aa6..346475433 100644 --- a/docs/ka_method/Makefile +++ b/docs/ka_method/Makefile @@ -33,6 +33,10 @@ clean: pdf_doc: db2pdf -c ${CATALOG} -d ${DSL} ${XML_FILE} 2>&1 +pdf_noprint: + make clean + DSSSL_JADETEX=docbook-jadetex.dsssl make duplication.pdf DSSSL_JADETEX=docbook-jadetex.dsssl + html_doc: xsltproc ${XSL_FILE} ${XML_FILE} mv -f index.html ${WWW_PATH}/duplication.html |