s.m.inv. File di testo presente nella directory principale di un sito web che viene utilizzato per indirizzare l’attività dei crawler dei motori di ricerca e segnala le porzioni del sito che devono o meno esservi sottoposte; serve a escludere cartelle o file che non devono essere indicizzati restando riservati [ingl., comp. del pl. di robot (vd.) con estensione .txt «testo»].