diff options
| author | Fredrik Gustafsson <[email protected]> | 2013-11-01 13:16:19 +0100 |
|---|---|---|
| committer | Fredrik Gustafsson <[email protected]> | 2013-11-13 07:59:19 +0100 |
| commit | bc1671c363a61cdbcbc2fb81fb6b2fb42785a232 (patch) | |
| tree | 1c441eb268ad07154f98f42546fd114470fd52a6 /lib/erl_docgen/priv/js/flipmenu/Makefile | |
| parent | a5128108ad3efff77c5080f0769737e70a0bfd82 (diff) | |
| download | otp-bc1671c363a61cdbcbc2fb81fb6b2fb42785a232.tar.gz otp-bc1671c363a61cdbcbc2fb81fb6b2fb42785a232.tar.bz2 otp-bc1671c363a61cdbcbc2fb81fb6b2fb42785a232.zip | |
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 |