diff options
-rwxr-xr-x | clean.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clean.sh b/clean.sh new file mode 100755 index 0000000..92d81c3 --- /dev/null +++ b/clean.sh @@ -0,0 +1,3 @@ +#!/bin/sh +rm -- *.html +rm index.xml |
index : pub-docs.git | ||
public documents, see <docs> on homepage root |
summaryrefslogtreecommitdiff |
-rwxr-xr-x | clean.sh | 3 |
diff --git a/clean.sh b/clean.sh new file mode 100755 index 0000000..92d81c3 --- /dev/null +++ b/clean.sh @@ -0,0 +1,3 @@ +#!/bin/sh +rm -- *.html +rm index.xml |