Erstmal Dank an alle soweit.
Das man die Seite durch einen sed- oder sowas-Script, der Textersatz
macht, durchjagen kann ist natürlich eine Möglichkeit. Ich habe
irtümlich angenommen, das man hier so simple Lösungen einfach
voraussetzt bzw. klar ist, das man wegen solcher Trivialitäten hier
nicht nachfragt. Mein Fehler.
Ich will auch nicht undankbar sein, aber bei der Textersatzlösung
muessen die links ja genauso auftreten und die endgültigen Pfade müssen
immer gleich sein. Wenn man aber immer wieder mal gucken will ob sich
was Neues ergeben hat, muss man das jedesmal überprüfen. Ausserdem ist
bei den multifile links immer vorausgesezt, dass genau ein PDF und ein
ZIP dahintersteht, was man, um es zu überprüfen doch wieder einzeln
nachprüfen müsste.
Ich hatte mir was Grundsätzliches vorgestellt, dass nicht oder nicht so
stark von der konkreten Form der Seite abhängt und, etwa vergleichbar
mit wget selbst, z.B. alle PDFs runterlädt oder auch deeplinks oder
sowas.
Es ist ja klar, das man die gleichen Handlungen die man selbst am
Browser durchführt auch als Script implementieren kann. Ich dachte ich
frage hier mal nach, ehe ich das rundeste Rad aller Zeiten erfinde.
Also, danke jedenfalls und nichts für ungut.