@@ -467,6 +467,15 @@ And for use in the browser:
467 %include JavaScript "path/to/external.js"
467 %include JavaScript "path/to/external.js"
469The given files will be added to the top of the generated code.
469The given files will be added to the top of the generated code.
470+For library packages you can also use the ipkg objs option to include the
471+js file in the installation, and use
473+.. code-block:: idris
475+ %include Node "package/external.js"
477+This javascript and node backends idris will also lookup for the file on
471Including *NodeJS* modules
480Including *NodeJS* modules
472--------------------------
481--------------------------