Per evitare di ricreare ogni volta i menu js del sito ho messo l'array con le voci di menu su un file js che viene incluso nella pagina html<script src="miofile.js"></script>

questo file viene rigenerato attarverso una funzione php ogni volta che il menu cambia ossia il file viene sovrascritto.

Se mi ricollego al sito, per poter vedere i cambiamenti, devo forzare il browser a scaricare il file nuovo attraverso ctrl+shift+f5.

Come posso evitare questa procedura?
Il server non dovrebbe comunicare al browser che il file è cambaito e quindi il browser dovrebbe da solo scaricarselo di nuovo?

sapete darmi qualche chiarimento in merito?

grazie