blob: 72c7b53f86e1b88ebb3bb99b1270de1ce1df837f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#!/bin/sh
W3MDOC="./w3mdoc.pl"
W3M="$HOME/bin/pre_w3m"
#W3M="w3m"
NKF="/usr/local/bin/nkf"
SED="/usr/bin/sed"
TR="/usr/bin/tr"
HTML_JP_DIR="html-jp"
DOC_JP_DIR="doc-jp"
#HTML_DIR="html"
#DOC_DIR="doc"
if [ ! -d ${HTML_JP_DIR} ]; then
mkdir ${HTML_JP_DIR}
fi
if [ ! -d ${DOC_JP_DIR} ]; then
mkdir ${DOC_JP_DIR}
fi
for SRC in *.in
do
HTML=`echo ${SRC} | ${SED} 's/\.in$//p'`
DOC=`echo ${HTML} | ${SED} 's/\.html$//p' | ${TR} '[a-z]' '[A-Z]'`
echo "converting ${SRC} to ${HTML_JP_DIR}/${HTML} ... \c"
${NKF} -e ${SRC} | ${SED} -e 's/��/��/gp' -e 's/��/��/gp' | ${NKF} -j | ${W3MDOC} > ${HTML_JP_DIR}/${HTML}
echo "done.\nconverting ${HTML} to ${DOC_JP_DIR}/${DOC} ... \c"
${W3M} -dump -e ${HTML_JP_DIR}/${HTML} > ${DOC_JP_DIR}/${DOC}
echo "done."
done
|
