diff options
author | Fredrik Gustafsson <[email protected]> | 2013-11-13 07:59:34 +0100 |
---|---|---|
committer | Fredrik Gustafsson <[email protected]> | 2013-11-13 07:59:34 +0100 |
commit | 62731a5d22cc549d58fef89c664f77aefe5dd679 (patch) | |
tree | 53f851cc73ad8b0a2b15b8fc0aa483d9fadf3c85 /lib/erl_docgen/priv/js/flipmenu/Makefile | |
parent | 644fedb8da1f77434ee7dd8ff61bdf4c3f91c406 (diff) | |
parent | 1562340596938d1f8a84b2ed43f5f0097be66ae7 (diff) | |
download | otp-62731a5d22cc549d58fef89c664f77aefe5dd679.tar.gz otp-62731a5d22cc549d58fef89c664f77aefe5dd679.tar.bz2 otp-62731a5d22cc549d58fef89c664f77aefe5dd679.zip |
Merge branch 'maint'
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 |