diff options
Diffstat (limited to 'w3m-doc/mkdocs')
| -rwxr-xr-x | w3m-doc/mkdocs | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/w3m-doc/mkdocs b/w3m-doc/mkdocs deleted file mode 100755 index 560c2dc..0000000 --- a/w3m-doc/mkdocs +++ /dev/null @@ -1,57 +0,0 @@ -#!/bin/sh - -convert() -{ - SRC=$1 - HTML=`echo ${SRC} | ${SED} 's/\.in$//p'` - DOC=`echo ${HTML} | ${SED} 's/\.html$//p' | ${TR} '[a-z]' '[A-Z]'` - echo "converting ${SRC} to ${HTML_TOP_DIR}/${_JA_DIR}/${HTML} ... \c" - ${NKF} -e ${SRC} | ${SED} -e 's/¡£/¡¥/gp' -e 's/¡¢/¡¤/gp' | ${NKF} -j | ${W3MDOC} > ${HTML_TOP_DIR}/${_JA_DIR}/${HTML} - echo "done.\nconverting ${HTML} to ${DOC_TOP_DIR}/${_JA_DIR}/${DOC} ... \c" - ${W3M} -dump -e ${HTML_TOP_DIR}/${_JA_DIR}/${HTML} > ${DOC_TOP_DIR}/${_JA_DIR}/${DOC} - echo "done." -} - -W3MDOC="./w3mdoc.pl" -W3M="w3m" -if [ -x ${HOME}/bin/pre_w3m ]; then - W3M=${HOME}/bin/pre_w3m -fi - -NKF="/usr/local/bin/nkf" -SED="/usr/bin/sed" -TR="/usr/bin/tr" - -HTML_TOP_DIR="html" -DOC_TOP_DIR="doc" -_JA_DIR="ja" -#HTML_DIR="html" -#DOC_DIR="doc" - -if [ ! -d ${HTML_TOP_DIR} ]; then - mkdir ${HTML_TOP_DIR} - if [ ! -d ${HTML_TOP_DIR}/${_JA_DIR} ]; then - mkdir ${HTML_TOP_DIR}/${_JA_DIR} - fi -fi -if [ ! -d ${DOC_TOP_DIR} ]; then - mkdir ${DOC_TOP_DIR} - if [ ! -d ${DOC_TOP_DIR}/${_JA_DIR} ]; then - mkdir ${DOC_TOP_DIR}/${_JA_DIR} - fi -fi - -if [ $# -eq 0 ]; then - for _IN in *.in - do - convert ${_IN} - done -else - for _IN in $* - do - case ${_IN} in - *.in) convert ${_IN};; - *) ;; - esac - done -fi |