##// END OF EJS Templates
Merge pull request #717 from stefanv/htmlnotebook_highlight_markdown...
Merge pull request #717 from stefanv/htmlnotebook_highlight_markdown Add source highlighting to markdown snippets, with a theme matching the CodeMirror one we use. This only highlights source code in blocks that are indented 4 spaces in markdown cells, leaving <pre> blocks alone. If highlight is desired in <pre> blocks, a further <code> block must be created. The visual theme matches the one used for CodeMirror as much as possible.

File last commit:

r2661:595fc3b9
r4658:9460984a merge
Show More
plugins.mk
21 lines | 241 B | text/x-makefile | MakefileLexer
%.plugin::
rm -rf dist/$(notdir $@)
rm -rf build dist && \
python setup.py py2app -s
%.py:
@echo "test -f $@"
@test -f %@
%.nib:
@echo "test -f $@"
@test -f %@
.DEFAULT_GOAL := all
.PHONY : all clean
clean :
rm -rf build dist