diff options
author | Aoi Koizumi <novaburst@kalli.st> | 2022-03-19 17:51:17 -0300 |
---|---|---|
committer | Aoi Koizumi <novaburst@kalli.st> | 2022-03-19 17:51:17 -0300 |
commit | 1203445eceb3903d1c56b9f0fd862e6d0c73031c (patch) | |
tree | 8d7437f1904de511d802bdc6f25000773f7564ea /pub.sh | |
parent | 2ffad537e7dc4e6d70a0873518d4c6a09a5c92fd (diff) | |
download | mirror-world-1203445eceb3903d1c56b9f0fd862e6d0c73031c.tar.gz |
Removed files added by mistake, updated convert.conf settings for gmi
and www, updated some texts of this repository. Signed-off-by: Aoi Koizumi <novaburst@kalli.st>
Diffstat (limited to 'pub.sh')
-rwxr-xr-x | pub.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/pub.sh b/pub.sh index 21c15a9..19351a7 100755 --- a/pub.sh +++ b/pub.sh @@ -5,10 +5,12 @@ fn_clean() { printf "Cleaning... \n" find . -name "*.gmi" -delete + find . -name "*.htm" -delete } fn_generate() { txt convert --type=gmi gmi/ + txt convert --type=htm www/ } fn_index() { |