#!/bin/bash

curl -L 'https://provoz.spravazeleznic.cz/PORTAL/ViewArticle.aspx?oid=133' | grep -oE 'href="[^"]*"' | sed 's/^href="//g; s/"$//g' | grep 'pdf$' | sed 's#^#https://provoz.spravazeleznic.cz/PORTAL/#' | xargs wget