diff options
author | Fredrik Gustafsson <[email protected]> | 2013-11-13 07:59:30 +0100 |
---|---|---|
committer | Fredrik Gustafsson <[email protected]> | 2013-11-13 07:59:30 +0100 |
commit | 1562340596938d1f8a84b2ed43f5f0097be66ae7 (patch) | |
tree | 1c441eb268ad07154f98f42546fd114470fd52a6 /lib/erl_docgen/priv/js/flipmenu/Makefile | |
parent | a5128108ad3efff77c5080f0769737e70a0bfd82 (diff) | |
parent | bc1671c363a61cdbcbc2fb81fb6b2fb42785a232 (diff) | |
download | otp-1562340596938d1f8a84b2ed43f5f0097be66ae7.tar.gz otp-1562340596938d1f8a84b2ed43f5f0097be66ae7.tar.bz2 otp-1562340596938d1f8a84b2ed43f5f0097be66ae7.zip |
Merge branch 'fredrik/doc/syntax_highlight/OTP-11237' into maint
* fredrik/doc/syntax_highlight/OTP-11237:
erl_docgen: fix code highlighting and warning and note parts in erl_docgen
Diffstat (limited to 'lib/erl_docgen/priv/js/flipmenu/Makefile')
-rw-r--r-- | lib/erl_docgen/priv/js/flipmenu/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lib/erl_docgen/priv/js/flipmenu/Makefile b/lib/erl_docgen/priv/js/flipmenu/Makefile index 7933752532..40c78c5f7c 100644 --- a/lib/erl_docgen/priv/js/flipmenu/Makefile +++ b/lib/erl_docgen/priv/js/flipmenu/Makefile @@ -43,7 +43,8 @@ GIF_FILES = \ flip_static.gif JS_FILES = \ - flipmenu.js + flipmenu.js \ + jquery-2.0.3.min.js # ---------------------------------------------------- # FLAGS |