diff options
author | P. J. McDermott <pjm@nac.net> | 2012-05-27 01:44:04 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2012-05-27 01:44:04 (EDT) |
commit | d18ace33c5c51815adb186b97f7d7365b07aec2a (patch) | |
tree | 9301170c1b982d25ba82528645af2ef5178eea6d | |
parent | f5c36fd824ddc1f5eb6b7357681c18d83279e009 (diff) |
Write "doc.html".
-rwxr-xr-x | doc.html | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc.html b/doc.html new file mode 100755 index 0000000..ce4a5d0 --- /dev/null +++ b/doc.html @@ -0,0 +1,5 @@ +<!--#set var="title" value="Documentation" --> +<!--#set var="pagetitle" value="Documentation" --> +<!--#include file="includes/header.html" --> +<p>You don't need to see the documentation. These aren't the pages you're looking for.</p> +<!--#include file="includes/footer.html" --> |