Ho risolto inserendo questa dicitura :

<script type="text/javascript" src="miofile.js"></script>

al posto di

<script type="text/javascript" src="miofile.js" />


In questo modo funziona. Scusate , ma non significano la stessa cosa queste 2 stringhe?