[#5] Added gte and lte replacement for manual HTML output
parent
8e079129f3
commit
1590d59eb7
|
@ -21,7 +21,9 @@ doc_imgs_txt := $(patsubst %.dia, %.png, $(wildcard $(path_doc_img)/*.txt))
|
||||||
|
|
||||||
doc_replace := s/<\/body>/<script type="text\/javascript" \
|
doc_replace := s/<\/body>/<script type="text\/javascript" \
|
||||||
src="highlight.pack.js"><\/script><script type="text\/javascript" \
|
src="highlight.pack.js"><\/script><script type="text\/javascript" \
|
||||||
src="interactive.js"><\/script><\/body>/
|
src="interactive.js"><\/script><\/body>/\
|
||||||
|
;s/\>\;=/\&\#8805\;/g\
|
||||||
|
;s/\>\;=/\&\#8804\;/g\
|
||||||
|
|
||||||
.PHONY: doc mkbuild-doc doc-img doc-pdf doc-info doc-plain doc-html
|
.PHONY: doc mkbuild-doc doc-img doc-pdf doc-info doc-plain doc-html
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue