OldClaudio” post=91018E che cosa contiene il file idx?
Il file idx contiene n righe come queste:
`\indexentry{St\”ork Antonio}{107}
\indexentry{Stift}{107}
\indexentry{Frank Pietro}{107}
\indexentry{Franceschi Giacomo}{109}
\indexentry{Plenk}{109}
\indexentry{Prokaska}{109}
\indexentry{Smidt}{109}
\indexentry{Iaquin}{109}
\indexentry{Frank Giuseppe}{109}
\indexentry{Careno}{109}
\indexentry{De Carro}{109}
\indexentry{Malfatti}{109}
\indexentry{Severoli Antonio Gabriele}{109}
\indexentry{Gall}{109}
\indexentry{Spursheim}{109}
\indexentry{Gall}{111}
\indexentry{Franceschi Giacomo}{111}
\indexentry{Manfredini}{113}
\indexentry{Ferdinando III Granduca di Toscana}{113}
\indexentry{Ferdinando I di Borbone}{113}
\indexentry{Maria Amalia Arciduchessa d'Austria}{113}
\indexentry{Schizzati}{115}`