diff options
| author | Christian Grothoff <christian@grothoff.org> | 2017-10-14 11:25:04 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2017-10-14 11:25:04 +0200 |
| commit | e2f2d33fbe146846dfd44eedd9b36c7cd2794931 (patch) | |
| tree | 3607849dc10503a1435e9aaf4ac02643e86cb85a /doc/Makefile | |
| parent | ab3b15f231fac50be793b5bab6ee9aad6b23396d (diff) | |
| download | deployment-e2f2d33fbe146846dfd44eedd9b36c7cd2794931.tar.gz deployment-e2f2d33fbe146846dfd44eedd9b36c7cd2794931.tar.bz2 deployment-e2f2d33fbe146846dfd44eedd9b36c7cd2794931.zip | |
add build system for onboarding docs
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..0c9f835 --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,13 @@ +all: onboarding.pdf onboarding.html + +onboarding.pdf: onboarding.texi + texi2pdf onboarding.texi + +onboarding.html: onboarding.texi + texi2any --html --no-split --css-ref=docstyle.css --css-ref=brown-paper.css onboarding.texi + +clean: + rm -f onboarding.html onboarding.pdf + +info_TEXINFOS = onboarding.texi +manual_TEXINFOS = version.texi |