Move doc→docs so we can serve it with GitHub Pages

This commit is contained in:
Caleb Maclennan 2022-03-23 00:09:53 +03:00
parent c1eacfa6d2
commit f98977b2da
No known key found for this signature in database
GPG Key ID: B538286DE04ECFE5
19 changed files with 20 additions and 20 deletions

View File

Before

Width:  |  Height:  |  Size: 12 KiB

After

Width:  |  Height:  |  Size: 12 KiB

View File

@ -127,7 +127,7 @@ build = {
mingw32 = make_plat("mingw32") mingw32 = make_plat("mingw32")
}, },
copy_directories = { copy_directories = {
"doc" "docs"
, "samples" , "samples"
, "etc" , "etc"
, "test" } , "test" }

View File

@ -92,23 +92,23 @@ MAKE = \
socket.vcxproj \ socket.vcxproj \
mime.vcxproj mime.vcxproj
DOC = \ DOCS = \
doc/dns.html \ docs/dns.html \
doc/ftp.html \ docs/ftp.html \
doc/index.html \ docs/index.html \
doc/http.html \ docs/http.html \
doc/installation.html \ docs/installation.html \
doc/introduction.html \ docs/introduction.html \
doc/ltn12.html \ docs/ltn12.html \
doc/luasocket.png \ docs/luasocket.png \
doc/mime.html \ docs/mime.html \
doc/reference.css \ docs/reference.css \
doc/reference.html \ docs/reference.html \
doc/smtp.html \ docs/smtp.html \
doc/socket.html \ docs/socket.html \
doc/tcp.html \ docs/tcp.html \
doc/udp.html \ docs/udp.html \
doc/url.html docs/url.html
dist: dist:
mkdir -p $(DIST) mkdir -p $(DIST)
@ -123,8 +123,8 @@ dist:
mkdir -p $(DIST)/src mkdir -p $(DIST)/src
cp -vf $(SRC) $(DIST)/src cp -vf $(SRC) $(DIST)/src
mkdir -p $(DIST)/doc mkdir -p $(DIST)/docs
cp -vf $(DOC) $(DIST)/doc cp -vf $(DOCS) $(DIST)/docs
mkdir -p $(DIST)/samples mkdir -p $(DIST)/samples
cp -vf $(SAMPLES) $(DIST)/samples cp -vf $(SAMPLES) $(DIST)/samples