Initial revision

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.