Hola,
Sí, claro, ahí va el archivo encargado de descargar el boletin,
Código PHP:
$do= $_GET['do'];
if($do = "descargar"){
ob_start();
include("../boletin_src.php");
$contenido = ob_get_contents();
ob_end_clean();
$archivo = "../boletin_src.php";
$f1=fopen("$archivo","w+");
fwrite($f1,"$contenido");
header("Content-Type: text/html");
header("Content-Disposition: attachment; filename=$fl.html");
}