diff options
Diffstat (limited to 'docs/web/linux/index.html')
-rw-r--r-- | docs/web/linux/index.html | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/docs/web/linux/index.html b/docs/web/linux/index.html deleted file mode 100644 index 9c3ead3..0000000 --- a/docs/web/linux/index.html +++ /dev/null @@ -1,34 +0,0 @@ -<!DOCTYPE html> -<html> -<head> - <title>TikZiT</title> - <link rel="stylesheet" type="text/css" href="../main.css" /> -</head> - -<body> -<img src="../images/web_logo_linux.png" class="heading" alt="TikZiT :: Linux" /> - -<div class="content"> - <p> - There are several options for getting TikZiT on Linux: - </p> - <dl> - <dt>Ubuntu</dt> - <dd>Use <a href="http://launchpad.net/~gspreemann/+archive/ppa/+packages">Gard Spreemann's PPA</a>.</dd> - <dt>Fedora and OpenSUSE</dt> - <dd>Use <a href="http://download.opensuse.org/repositories/home:/randomguy3/">Alex Merry's OBS Repositories</a>.</dd> - <dt>Arch Linux</dt> - <dd>Use the <a href="http://aur.archlinux.org/packages.php?ID=37119">AUR package</a>.</dd> - <dt>Other</dt> - <dd>Build from the <a href="../link.php?to=src">source</a>.</dd> - - </dl> - -</div> - - <div class="links"> - <a href="../index.html">« back</a> - </div> - -</body> -</html> |