summaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorJustus Winter <justus@sequoia-pgp.org>2018-07-25 16:57:17 +0200
committerJustus Winter <justus@sequoia-pgp.org>2018-07-25 16:58:34 +0200
commit53ed9dd7130459a910c8bfd1d09bcafc349965bd (patch)
tree88cf337297311534d8e3a54df5f31558fb5e06a2 /Makefile
parentc22fb9e485f331c615c66d2f14e62b1e895846b2 (diff)
ffi: Use highlight.js to syntax-highlight the c examples.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile3
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 93a7bb19..9f0bc7f5 100644
--- a/Makefile
+++ b/Makefile
@@ -4,6 +4,7 @@
PREFIX ?= /usr/local
DESTDIR ?=
CARGO_FLAGS ?=
+FFI_RUSTDOCFLAGS ?= --html-in-header ffi/rustdoc.head.html
# Signing source distributions.
SIGN_WITH ?= XXXXXXXXXXXXXXXX
@@ -51,6 +52,8 @@ examples:
.PHONY: doc
doc:
$(CARGO) doc $(CARGO_FLAGS) --no-deps --all
+ env RUSTDOCFLAGS="$(FFI_RUSTDOCFLAGS)" \
+ $(CARGO) doc $(CARGO_FLAGS) --no-deps --package sequoia-ffi
$(CARGO) doc $(CARGO_FLAGS) --no-deps --package nettle
.PHONY: deploy-doc