missing build script for highlight.js

[juliantaylor]

The highlight.js folder is missing tools/build.py required to build it from source.
This is annoying for packaging so please add it, also in the 1.x branch. For debian the embedded yuicompressor is not needed as the packaged one can be used.

[minrk]

how is this inconvenient for packaging?

[juliantaylor]

I have to add the script to the package manually, its not a big deal, but neither is doing it in ipython directly.

[minrk]

I am just wondering why the script has to be added at all.

[juliantaylor]

it just saves nerves being able to run a build fabfile that actually works.

[juliantaylor]

distribution rules, no minified javascript without being built from source.

[minrk]

ok, I'll make sure the change gets into ipython-components

[minrk]

going to be a pain for 1.x

[juliantaylor]

hm I overlooked highlight.js is actually already packaged in debian so I can use that instead.
So from my point of view 1.x can be skipped if it is too inconvinient, but please do it in master.

[minrk]

any other changes you have noticed that we need in the js?

[juliantaylor]

is less.js used at runtime? I didn't test that under the assumption that its only used a buildtime.

jquery is an gray area unminified version is there but not the separate files, I guess I can get away with that.
does ipython run ok with 1.7.2?

bootstrap seems to build ok (unfortunately recess is utterly broken with recent less.js ...)
require.js does not seem to need a build, unminified source there.
font-awesome I can use a package, source seem available, so shouldn't be a problem.

[minrk]

• less is only used for development, not at runtime.
• I don't know about jquery 1.7.2, but it's worth testing. I would expect it to work fine.

Okay, I won't make any other changes. Thanks.