diff options
Diffstat (limited to '')
-rw-r--r-- | Bonus/README | 48 | ||||
-rw-r--r-- | Bonus/README.eng | 49 |
2 files changed, 97 insertions, 0 deletions
diff --git a/Bonus/README b/Bonus/README new file mode 100644 index 0000000..1e3a0de --- /dev/null +++ b/Bonus/README @@ -0,0 +1,48 @@ +html2latex + + HTMLの文書をLaTeX に変換します.Rubyスクリプトです.不完全です. + ある程度の役には立つかもしれません. + + 使用法 + + html2latex file.html > file.tex + + ここに置いてある理由 + + makeref のための部品取りです :-) + +makeref + + HTMLの文書を読み,アンカーに番号を振ります.番号を振った文書を + 標準出力に書き出し,最後にその一覧を出力します.Ruby スクリプトです. + + 使用法 + + makeref [-url base_url] [file] + + -url: 文書のURLを指定します.リンクの一覧を出すときに,そのURLを + 補完するために使います. + + バグ + + HTMLの記述ミス( < ではなく < を使う,&... の最後に ; を付けない + 等)があると,悲惨な結果になることがあります. + + 半角カナ(JIS X-0201カナ)に対応していません. + +htmldump + + URL からHTML文書を読み,アンカーに番号を振って整形し,標準出力に + 書き出します. + + 使用法 + + dumphtml [URL] + + URL を省略すると,$WWW_HOME の内容を読みます. + + バグ + + URL の指す文書がHTMLでなかった場合,かわいそうなことになります. + makeref を使っているので,makeref がうまく処理できない文書の表示 + は変になります. diff --git a/Bonus/README.eng b/Bonus/README.eng new file mode 100644 index 0000000..06613ee --- /dev/null +++ b/Bonus/README.eng @@ -0,0 +1,49 @@ +html2latex + + Convert HTML document into LaTeX. Ruby script. incomplete. + + Usage: + + html2latex file.html > file.tex + + Why this script is here? + + To exploit code for makeref. :-) + +makeref + + Read HTML document and number the anchors. Print numbered document + into standard output and append reference index. Ruby script. + + Usage: + + makeref [-u] [-url base_url] [file] + + -url: Specify URL of the document. It is used to complete link + in the document. + + -u: Append URL after each anchor, instead of reference number. + + Bugs + + If there are any error in HTML (unbalanced < , character entity + without ; , etc.), output will be miserable. + +htmldump + + Read HTML document from URL, number the anchors and format it, + and output it on standard output. + + Usage + + htmldump [-u] [URL] + + -u: Append URL after each anchor, instead of reference number. + + If URL is omitted, $WWW_HOME is used instead. + + Bugs + + It assumes that the document on URL is HTML. + As it uses makeref to number the anchor, it can't handle any document + makeref can't handle. |