UNIX-MAKE-DOC

the-language · Apr 29, 2018 · 222fb8d · 222fb8d
1 parent 5741b44
commit 222fb8d
Show file tree

Hide file tree

Showing 11 changed files with 21 additions and 2 deletions.
diff --git a/UNIX-MAKE-DOC b/UNIX-MAKE-DOC
@@ -3,12 +3,16 @@ cd $(dirname $0)
 r="$PWD"
 
 doc="$r"/DOC
-doc_html="$doc"/html
+doc_html="$r"/docs
 doc_markdown="$doc"
 doc_tex="$doc"
 rm -fr "$doc"
 mkdir "$doc" || exit
+
+doc_html_cname="$(cat $doc_html/CNAME)"
+rm -fr "$doc_html"
 mkdir "$doc_html" || exit
+echo "$doc_html_cname" > "$doc_html"/CNAME
 
 doc_scrbl() {
 n="$1"
@@ -55,3 +59,5 @@ cat > "$r"/README.md <<EOF
 [HTML](DOC/html/lambda.html)
 $(md lambda)
 EOF
+
+cp "$doc_html"/lambda.html "$doc_html"/index.html
diff --git a/docs/CNAME b/docs/CNAME
@@ -1 +1 @@
-xn--2e3a.ml
+xn--2e3a.ml
diff --git a/docs/index.html b/docs/index.html
diff --git a/DOC/html/lambda.html → docs/lambda.html b/DOC/html/lambda.html → docs/lambda.html
diff --git a/DOC/html/manual-fonts.css → docs/manual-fonts.css b/DOC/html/manual-fonts.css → docs/manual-fonts.css
diff --git a/DOC/html/manual-racket.css → docs/manual-racket.css b/DOC/html/manual-racket.css → docs/manual-racket.css
diff --git a/DOC/html/manual-racket.js → docs/manual-racket.js b/DOC/html/manual-racket.js → docs/manual-racket.js
diff --git a/DOC/html/manual-style.css → docs/manual-style.css b/DOC/html/manual-style.css → docs/manual-style.css
diff --git a/DOC/html/racket.css → docs/racket.css b/DOC/html/racket.css → docs/racket.css
diff --git a/DOC/html/scribble-common.js → docs/scribble-common.js b/DOC/html/scribble-common.js → docs/scribble-common.js
diff --git a/DOC/html/scribble.css → docs/scribble.css b/DOC/html/scribble.css → docs/scribble.css