Ya pense en algo parecido al codigo que has puesto, meter en una variable el archivo (ya que es todo una sola linea) y luego extraer el numero correspondiente.
Pero al intentar introducir el texto del archivo en una variable:
Código:
<"manga.txt" set /p "a="
Y hacer el corerspondiente echo dice lo siguiente: "No se esperaba < en este momento"
Eso debe ser que hay caracteres de redireccion (< y >) y por eso no me funciona bien. Pero aun asi probare el codigo que has puesto.