diff options
Diffstat (limited to 'docs/generate')
| -rwxr-xr-x | docs/generate | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/docs/generate b/docs/generate deleted file mode 100755 index 936ba03..0000000 --- a/docs/generate +++ /dev/null @@ -1,5 +0,0 @@ -#!/bin/sh -txt2tags --encoding utf-8 --css-sugar --style style.css --toc -t xhtml -o INSTALL.html INSTALL.t2t -txt2tags --encoding utf-8 --toc -t txt -o INSTALL INSTALL.t2t -awk '{gsub("\t"," ");print}' INSTALL > ../INSTALL -rm INSTALL |