gen/$uid.pdf"; # In case you want to use an external script #$cmd = "sh groff-compiler.sh"; if ($_SERVER['REQUEST_METHOD'] === 'POST' && isset($_POST['codebox'])) { $code = $_POST['codebox']; file_put_contents("gen/$uid.ms", $code); exec("$cmd"); } ?>
Groff Web |