Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

oopses, buggered page generation

  ETOOCOMPLEX
  • Loading branch information...
commit 8145c00d1f07fd444cf69a25f9d10c4ed88bf8d0 1 parent 82e7c5f
@nikodemus authored
View
5 Makefile
@@ -21,11 +21,12 @@ pages:
mkdir web-tmp
make -C doc html pdf
- cp doc/*.pdf doc/examples/*.lisp web-tmp/
- sh -c 'for f in doc/*.html doc/examples/*.html; \
+ cp doc/*.pdf doc/examples/*.lisp doc/examples/*.html web-tmp/
+ sh -c 'for f in doc/*.html; \
do sbcl --script tools/splice-to-head.lisp tools/analytics.script \
< $$f > web-tmp/`basename $$f`; done'
cp web-tmp/screamer.html web-tmp/index.html
+ cp tools/htmlize-style.css web-tmp/
git checkout gh-pages
mv web-tmp/* .
View
56 doc/style.css
@@ -10,59 +10,3 @@
body { padding: 2em 8em; font-family: sans-serif; }
h1 { padding: 1em; text-align: center; }
li { margin: 1em; }
-
-body {
- color: #000000;
- background-color: #ffffff;
-}
-.builtin {
- /* font-lock-builtin-face */
- color: #7a378b;
-}
-.comment {
- /* font-lock-comment-face */
- color: #b22222;
-}
-.comment-delimiter {
- /* font-lock-comment-delimiter-face */
- color: #b22222;
-}
-.constant {
- /* font-lock-constant-face */
- color: #008b8b;
-}
-.function-name {
- /* font-lock-function-name-face */
- color: #0000ff;
-}
-.keyword {
- /* font-lock-keyword-face */
- color: #7f007f;
-}
-.slime-reader-conditional {
- /* slime-reader-conditional-face */
- color: #b22222;
-}
-.string {
- /* font-lock-string-face */
- color: #996633;
-}
-.type {
- /* font-lock-type-face */
- color: #228b22;
-}
-.warning {
- /* font-lock-warning-face */
- color: #ff0000;
- font-weight: bold;
-}
-
-a {
- color: inherit;
- background-color: inherit;
- font: inherit;
- text-decoration: inherit;
-}
-a:hover {
- text-decoration: underline;
-}
View
2  tools/htmlize-source.sh
@@ -11,7 +11,7 @@ cat > $2 <<EOF
<html>
<head>
<title>$3</title>
- <link rel="stylesheet" href="style.css" type="text/css">
+ <link rel="stylesheet" href="htmlize-style.css" type="text/css">
EOF
cat $BASE/analytics.script >> $2
View
55 tools/htmlize-style.css
@@ -0,0 +1,55 @@
+body {
+ color: #000000;
+ background-color: #ffffff;
+}
+.builtin {
+ /* font-lock-builtin-face */
+ color: #7a378b;
+}
+.comment {
+ /* font-lock-comment-face */
+ color: #b22222;
+}
+.comment-delimiter {
+ /* font-lock-comment-delimiter-face */
+ color: #b22222;
+}
+.constant {
+ /* font-lock-constant-face */
+ color: #008b8b;
+}
+.function-name {
+ /* font-lock-function-name-face */
+ color: #0000ff;
+}
+.keyword {
+ /* font-lock-keyword-face */
+ color: #7f007f;
+}
+.slime-reader-conditional {
+ /* slime-reader-conditional-face */
+ color: #b22222;
+}
+.string {
+ /* font-lock-string-face */
+ color: #996633;
+}
+.type {
+ /* font-lock-type-face */
+ color: #228b22;
+}
+.warning {
+ /* font-lock-warning-face */
+ color: #ff0000;
+ font-weight: bold;
+}
+
+a {
+ color: inherit;
+ background-color: inherit;
+ font: inherit;
+ text-decoration: inherit;
+}
+a:hover {
+ text-decoration: underline;
+}
Please sign in to comment.
Something went wrong with that request. Please try again.