diff options
author | Karl Berry <karl@freefriends.org> | 2010-02-11 23:45:54 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2010-02-11 23:45:54 +0000 |
commit | 9115f9eea3dcb0f57b18a8d194014fd07c282943 (patch) | |
tree | af7eb1b9e0037737bede0e51c07955da3b076926 /Master/texmf-dist/doc/generic/pst-node/index.phtml | |
parent | 3dbd66bd0cf74958b0d4f7fef75425aeceff0345 (diff) |
new pstricks package pst-node 1.10 (11feb10)
git-svn-id: svn://tug.org/texlive/trunk@16970 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/generic/pst-node/index.phtml')
-rw-r--r-- | Master/texmf-dist/doc/generic/pst-node/index.phtml | 61 |
1 files changed, 61 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/generic/pst-node/index.phtml b/Master/texmf-dist/doc/generic/pst-node/index.phtml new file mode 100644 index 00000000000..3c72dd01044 --- /dev/null +++ b/Master/texmf-dist/doc/generic/pst-node/index.phtml @@ -0,0 +1,61 @@ +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN"><html><head> +<html> +<head> + <title>The PSTricks web page (Herbert Voß)</title> +</head> +<body bgcolor="#ffffff" text="#000000" link="#aa0000" alink="#ff3300" vlink="#330099"> + <hr noshade="noshade"> + <h1>pstricks by Timothy Van Zandt, Denis Girou and Herbert Voß</h1> + <h4>All the files have a <strong>Beta-Status</strong>! For a stable + version look at <a href="http://mirror.ctan.org/graphics/pstricks/contrib/pst-node">here</a></h4> + + <hr noshade="noshade"> + <div class=text> +<? +$cdir = dir("./"); + +$entries=array(); +while ($entry = $cdir->read()) + $entries[] = $entry; + +echo "Files in this directory:"; +echo " <hr noshade=\"noshade\">"; +echo "<table>"; + +asort($entries); +reset($entries); + +//foreach($entries as $entry) { +while (list(, $entry) = each($entries)) { +// if (!is_dir($entry) && ($entry != "index.phtml") && ($entry != ".htaccess")) { + if (($entry != ".") && ($entry != "index.phtml") && ($entry != ".htaccess")) { + echo "<tr>"; + echo "<td><a href=\"$entry\">$entry</a></td>"; + if (is_dir($entry)) + echo "<td><Dir></td>"; + else + echo "<td></td>"; + echo "<td align=\"right\"> ".filesize($entry)." Byte </td>"; + echo "<td align=\"right\"> ".date("D, j F Y, H:i:s",filemtime($entry))." </td>"; + echo "</tr>"; + } +} +echo "</table>"; + +?> +<hr noshade="noshade"> +Page last updated on <?php echo date("d.m.Y", getlastmod() ); ?> +</p> +</div> +<hr> +<? +if (file_exists("README")) { + $fp = fopen("README","r"); + while ($line=fgets($fp,1000)) { + echo "$line<br>"; + } + fclose($fp); +} +?> +</body> +</html> |