-extensiones: @file{@/.tex}, @file{@/.texi}, @file{@/.html} o @file{@/.xml},
-dependiendo del formato de salida. Todos los archivos @file{@/.tex},
-@file{@/.texi} y @file{@/.xml} necesitan un procesado posterior.
+extensiones: @file{.tex}, @file{.texi}, @file{.html} o @file{.xml},
+dependiendo del formato de salida. Todos los archivos @file{.tex},
+@file{.texi} y @file{.xml} necesitan un procesado posterior.