summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2016-02-11 09:48:18 (GMT)
committerBoris Kolpackov <boris@codesynthesis.com>2016-02-11 09:48:18 (GMT)
commite8d8ccfbd637d68f6feceace9dddc5bd5c13d832 (patch)
tree333884be3abd20c1a33891e94163e7e8e8fb92a1
parent88bef7fa19d595b64944edc38696bb1ceadba2fb (diff)
Rename intro.css to doc.css
-rw-r--r--doc-prologue.xhtml2
-rw-r--r--doc.css (renamed from intro.css)0
2 files changed, 1 insertions, 1 deletions
diff --git a/doc-prologue.xhtml b/doc-prologue.xhtml
index c9e1c3c..08f63ee 100644
--- a/doc-prologue.xhtml
+++ b/doc-prologue.xhtml
@@ -14,7 +14,7 @@ $./common.css$
$./pre-box.css$
$./code-box.css$
$./toc.css$
-$./intro.css$
+$./doc.css$
</style>
</head>
diff --git a/intro.css b/doc.css
index fffb9fd..fffb9fd 100644
--- a/intro.css
+++ b/doc.css