diff options
| -rwxr-xr-x | gendoc.sh | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,6 +1,7 @@ #!/usr/bin/bash dir=$(mktemp -d) -cp *.md $dir/ +cp doc/* $dir/ +cp README $dir/ fs=$(find $dir -type f) for f in $fs |
![]() |
index : bwinf-33 | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |
| -rwxr-xr-x | gendoc.sh | 3 |
@@ -1,6 +1,7 @@ #!/usr/bin/bash dir=$(mktemp -d) -cp *.md $dir/ +cp doc/* $dir/ +cp README $dir/ fs=$(find $dir -type f) for f in $fs |