[#5] Corrected <= in doc Makefile for HTML replacement
parent
058e5f5f7d
commit
b2fcf8880a
|
@ -23,7 +23,7 @@ doc_replace := s/<\/body>/<script type="text\/javascript" \
|
|||
src="highlight.pack.js"><\/script><script type="text\/javascript" \
|
||||
src="interactive.js"><\/script><\/body>/\
|
||||
;s/\>\;=/\&\#8805\;/g\
|
||||
;s/\>\;=/\&\#8804\;/g\
|
||||
;s/\<\;=/\&\#8804\;/g\
|
||||
|
||||
.PHONY: doc mkbuild-doc doc-img doc-pdf doc-info doc-plain doc-html
|
||||
|
||||
|
|
Loading…
Reference in New Issue