Skip to content
This repository was archived by the owner on May 3, 2019. It is now read-only.

Commit 222fb8d

Browse files
committed
UNIX-MAKE-DOC
1 parent 5741b44 commit 222fb8d

11 files changed

+21
-2
lines changed

UNIX-MAKE-DOC

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,12 +3,16 @@ cd $(dirname $0)
33
r="$PWD"
44

55
doc="$r"/DOC
6-
doc_html="$doc"/html
6+
doc_html="$r"/docs
77
doc_markdown="$doc"
88
doc_tex="$doc"
99
rm -fr "$doc"
1010
mkdir "$doc" || exit
11+
12+
doc_html_cname="$(cat $doc_html/CNAME)"
13+
rm -fr "$doc_html"
1114
mkdir "$doc_html" || exit
15+
echo "$doc_html_cname" > "$doc_html"/CNAME
1216

1317
doc_scrbl() {
1418
n="$1"
@@ -55,3 +59,5 @@ cat > "$r"/README.md <<EOF
5559
[HTML](DOC/html/lambda.html)
5660
$(md lambda)
5761
EOF
62+
63+
cp "$doc_html"/lambda.html "$doc_html"/index.html

docs/CNAME

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
xn--2e3a.ml
1+
xn--2e3a.ml

docs/index.html

Lines changed: 13 additions & 0 deletions
Large diffs are not rendered by default.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

0 commit comments

Comments
 (0)