<?php

  # Make the user download the latest Dossier PDF
  $redirect_url = "https://" . $_SERVER["HTTP_HOST"] . "/download.php";
  header("Location: $redirect_url");

?>