diff options
| author | Mariano Guerra <[email protected]> | 2016-10-21 21:22:52 +0100 |
|---|---|---|
| committer | Mariano Guerra <[email protected]> | 2017-03-13 11:51:52 +0100 |
| commit | 2887ebb0cd748f60cfe410f414ad27acfc7a3cb5 (patch) | |
| tree | 4b1caa1e7aebada7aead827599b3ef80dab148cd /lib/erl_docgen/priv/js/flipmenu/Makefile | |
| parent | 1f0689526a75e776bb4486da55cd48cb2e2efb15 (diff) | |
| download | otp-2887ebb0cd748f60cfe410f414ad27acfc7a3cb5.tar.gz otp-2887ebb0cd748f60cfe410f414ad27acfc7a3cb5.tar.bz2 otp-2887ebb0cd748f60cfe410f414ad27acfc7a3cb5.zip | |
add progressive enhanced syntax highlighter
it loads a script at the end of the page that loads the required
resources and initializes the syntax highlighter.
if js is disabled or blocked nothing happens, the code blocks will
display with the style they had until now
Diffstat (limited to 'lib/erl_docgen/priv/js/flipmenu/Makefile')
| -rw-r--r-- | lib/erl_docgen/priv/js/flipmenu/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/erl_docgen/priv/js/flipmenu/Makefile b/lib/erl_docgen/priv/js/flipmenu/Makefile index 06a13defca..ad6d4acb6c 100644 --- a/lib/erl_docgen/priv/js/flipmenu/Makefile +++ b/lib/erl_docgen/priv/js/flipmenu/Makefile @@ -76,6 +76,7 @@ release_spec: opt release_docs_spec: $(INSTALL_DIR) "$(RELEASE_PATH)/doc/js/flipmenu" $(INSTALL_DATA) $(JS_FILES) $(GIF_FILES) "$(RELEASE_PATH)/doc/js/flipmenu" + $(INSTALL_DATA) ../highlight.js ../highlight.pack.js "$(RELEASE_PATH)/doc/js/" release_tests_spec: |