aboutsummaryrefslogtreecommitdiffstats
path: root/Bonus/README
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--Bonus/README48
-rw-r--r--Bonus/README.eng49
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の記述ミス( &lt; ではなく < を使う,&... の最後に ; を付けない
+ 等)があると,悲惨な結果になることがあります.
+
+ 半角カナ(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.