1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
#!/usr/bin/make -f
# Avoid "Fonctconfig error: no writable cache directories" in chroots:
export HOME=$(CURDIR)/debian/fake-home
%:
dh $@ --with sphinxdoc
override_dh_auto_configure:
override_dh_auto_build:
$(MAKE) dunestrap
SPHINXWARNOPT=--keep-going dune build --release @refman-html @refman-pdf --display=verbose
find _build/ -type f -name "*.html" | \
xargs sed -i -e "s|https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-mml-chtml.js|file:///usr/share/nodejs/mathjax-full/es5/tex-mml-chtml.js|g"
override_dh_auto_test:
override_dh_auto_install:
|
