diff options
Diffstat (limited to 'docs')
-rw-r--r-- | docs/web/link.php | 6 | ||||
-rw-r--r-- | docs/web/snippets.php | 39 |
2 files changed, 3 insertions, 42 deletions
diff --git a/docs/web/link.php b/docs/web/link.php index f0d4078..6153c69 100644 --- a/docs/web/link.php +++ b/docs/web/link.php @@ -1,11 +1,11 @@ <? $dmg_ver = "0.4"; -$src_ver = "0.6"; +$src_ver = "0.7"; $win_ver = "0.3"; $file_root = "http://sourceforge.net/projects/tikzit/files"; $urls = array( -'src' => "$file_root/tikzit-$source_ver/tikzit-$src_ver.tar.gz/download", +'src' => "$file_root/tikzit-$src_ver/tikzit-$src_ver.tar.gz/download", 'dmg' => "$file_root/tikzit-$dmg_ver/TikZiT-$dmg_ver.dmg/download", 'win' => "$file_root/tikzit-$win_ver/tikzit-$win_ver.zip/download" ); @@ -20,4 +20,4 @@ if ($url == '') $url='/'; <meta http-equiv="refresh" content="0;url=<?=$url?>" /> </head> <body></body> -</html>
\ No newline at end of file +</html> diff --git a/docs/web/snippets.php b/docs/web/snippets.php deleted file mode 100644 index d42083e..0000000 --- a/docs/web/snippets.php +++ /dev/null @@ -1,39 +0,0 @@ -<? - -$web_root = ""; -$dmg_ver = "0.4"; -$source_ver = "0.7"; -$win_ver = "0.3"; - -require('snippets.local.php'); - -function top_menu () { - global $web_root;?> - <div style="text-align:center"> - <a href="<?=$web_root?>/index.php" title="Return to the TikZiT home page"> - <img src="<?=$web_root?>/images/web_logo.png" border="0" alt="TikZiT" /> - </a> - </div> -<?} - -function css() { - global $web_root;?> -<link rel="stylesheet" type="text/css" href="<?=$web_root?>/main.css" /> -<?} - -function dmg_url () { - global $dmg_ver; - print "http://sourceforge.net/projects/tikzit/files/tikzit-$dmg_ver/TikZiT-$dmg_ver.dmg/download"; -} - -function win_url () { - global $win_ver; - print "http://sourceforge.net/projects/tikzit/files/tikzit-$win_ver/tikzit-$win_ver.zip/download"; -} - -function source_url () { - global $source_ver; - print "http://sourceforge.net/projects/tikzit/files/tikzit-$source_ver/tikzit-$source_ver.tar.gz/download"; -} - -?> |