diff options
Diffstat (limited to 'info/pstdoc/index.html')
-rw-r--r-- | info/pstdoc/index.html | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/info/pstdoc/index.html b/info/pstdoc/index.html new file mode 100644 index 0000000000..f00afdec57 --- /dev/null +++ b/info/pstdoc/index.html @@ -0,0 +1,17 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" +"http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> + +<html xmlns="http://www.w3.org/1999/xhtml" lang="en" xml:lang="en"> +<head> +<meta http-equiv="Content-Type" content="text/html; charset=ISO8859-I" /> +<link type="css/text" rel="stylesheet" href="psthelp.css" /> +<title>PSTricks Help Page</title> +</head> +<body> +<h1>PSTricks Command Help</h1> +<form action="../../cgi-bin/parsehelp.py" method="get"> + <p id="ask">Command: <input type="text" name="cmd" /><input type="submit" /></p> +</form> +Type part of a command name, or just press Submit to see list of all commands. +</body> +</html>
\ No newline at end of file |