I wrote a script to download PDF documents in bulk from docs.redhat.com. It might break if the site's HTML changes in the future, but please bear with it. gist.github.com

Red Hatのドキュメントが、access.redhat.com/documentation から docs.redhat.com/ja/documentation のようにかわり、6月20日から従来URLからのリダイレクトが行われるようになりました。 それにともなってちょっとサイトデザインもちょっと変わりました。…