title: How to download all pages inside a category in Wikipedia?
body: <p>I would like to retrieve all the articles urls (I don't need the entire text) inside a Wikipedia Category. </p>
  
  <p>For example, if I want to obtain all article urls from the following category: <a href="https://en.wikipedia.org/wiki/Category:History" rel="nofollow">https://en.wikipedia.org/wiki/Category:History</a> , what is the best way to do that? </p>
  
  <p>Is it necessary to download the entire mysql dump and make manual queries?</p>