##// END OF EJS Templates
Merge pull request #3793 from jhamrick/master...
Merge pull request #3793 from jhamrick/master Disable autotooltip if no docstring This will disable the tooltip if there's no docstring, after ( is typed. Pressing tab to request the tooltip will still bring it up. This hasn't been tested against the Julia kernel, however. Closes #3788

File last commit:

r11086:c137395d
r11719:4c80e0df merge
Show More
Makefile
23 lines | 460 B | text/x-makefile | MakefileLexer
all: tex/null.tplx tex/display_priority.tplx
# convert jinja syntax to tex
# cf http://flask.pocoo.org/snippets/55/
tex/%.tplx: %.tpl
@echo 'generating tex equivalent of $^: $@'
@echo '((= autogenerated file do not edit =))' > $@
@sed \
-e 's/{%/((*/g' \
-e 's/%}/*))/g' \
-e 's/{{/(((/g' \
-e 's/}}/)))/g' \
-e 's/{#/((=/g' \
-e 's/#}/=))/g' \
-e "s/tpl'/tplx'/g" \
$^ >> $@
clean:
@echo "cleaning generated tplx files..."
@rm tex/*