Non puoi selezionare più di 25 argomenti Gli argomenti devono iniziare con una lettera o un numero, possono includere trattini ('-') e possono essere lunghi fino a 35 caratteri.

manual.html 1.6 KiB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354
  1. <?php header("Content-Type: text/html; charset=utf-8"); ?>
  2. <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
  3. "http://www.w3.org/TR/xhtml1/DTD/xhtml11.dtd">
  4. <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
  5. <head>
  6. <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  7. <meta name="GENERATOR" content="vim" />
  8. <meta name="Author" content="sam@zoy.org (Sam Hocevar)" />
  9. <meta name="Description" content="libcaca manual" />
  10. <meta name="Keywords" content="libcaca, ASCII, ASCII ART, console, text mode, ncurses, slang, AAlib" />
  11. <title>libcaca manual</title>
  12. <link rel="icon" type="image/x-icon" href="/favicon.ico" />
  13. <link rel="shortcut icon" type="image/x-icon" href="/favicon.ico" />
  14. <link rel="stylesheet" type="text/css" href="doxygen.css" />
  15. <link rel="stylesheet" type="text/css" href="/main.css" />
  16. </head>
  17. <body>
  18. <?php include($_SERVER["DOCUMENT_ROOT"]."/header.inc"); ?>
  19. <div style="text-align: center;">
  20. <a href="/manual/">^^^ Index</a>
  21. </div>
  22. <?php
  23. $page = $_GET['page'];
  24. $page = eregi_replace("[^-a-z0-9_]", "", $page);
  25. $file = $_SERVER["DOCUMENT_ROOT"]."/manual/".$page.".html";
  26. if(file_exists($file))
  27. {
  28. $f = fopen($file, 'r');
  29. $data = fread($f, filesize($file));
  30. fclose($f);
  31. $data = eregi_replace(".*<body>", "", $data);
  32. $data = eregi_replace("</body>.*", "", $data);
  33. echo $data;
  34. }
  35. else
  36. {
  37. ?><p>Documentation error.</p><?
  38. }
  39. ?>
  40. <?php $rev = '$Id$';
  41. include($_SERVER['DOCUMENT_ROOT'].'/footer.inc'); ?>
  42. </body>
  43. </html>