ドキュメント作成用のMakefileを整理。中間ファイルはすぐに削除

[YACASL2.git] / doc / yacasl2.html

diff --git a/doc/yacasl2.html b/doc/yacasl2.html
index 3ddd0bb..40df70a 100644 (file)
--- a/doc/yacasl2.html
+++ b/doc/yacasl2.html
@@ -3,7 +3,7 @@
 <title>YACASL2 - Linux上のCASL II処理系</title>
 <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
 <meta name="description" content="YACASL2 - Linux上のCASL II処理系">
-<meta name="generator" content="makeinfo 4.11">
+<meta name="generator" content="makeinfo 4.13">
 <link title="Top" rel="top" href="#Top">
 <link href="http://www.gnu.org/software/texinfo/" rel="generator-home" title="Texinfo Homepage">
 <!--