@@ -467,6 +467,15 @@ And for use in the browser:
467467 %include JavaScript "path/to/external.js"
468468
469469The 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
472+
473+.. code-block:: idris
474+
475+ %include Node "package/external.js"
476+
477+This javascript and node backends idris will also lookup for the file on
478+on that location.
470479
471480Including *NodeJS* modules
472481--------------------------