Remove hack previously used to insert diags into generated HTML.

Useless since db5c540ff7e9dd176f797b50031141e2c2059456.

diff --git a/doc/Makefile b/doc/Makefile
index 8349954..6e4e0ac 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -15,10 +15,6 @@ tex:
 
 html:
        texi2html -split_node gnushogi.texinfo
-       ./make_fig1 < gnushogi_6.html > tmp.html
-       mv tmp.html gnushogi_6.html
-       ./make_fig2 < gnushogi_14.html > tmp.html
-       mv tmp.html gnushogi_14.html
 
 view:
        xdvi gnushogi.dvi

diff --git a/doc/make_fig1 b/doc/make_fig1
deleted file mode 100755 (executable)
index cd92ef9..0000000
--- a/doc/make_fig1
+++ /dev/null
@@ -1,55 +0,0 @@
-#! /usr/bin/env python
-
-import sys, re
-
-key = "The opening setup for shogi is as follows:"
-
-replace = """
-The opening setup for shogi is as follows:
-<P>
-<PRE>
-   9    8    7    6    5    4    3    2    1
-+--------------------------------------------+     
-| wL | wN | wS | wG | wK | wG | wS | wN | wL |  a     
-+--------------------------------------------+       
-|    | wR |    |    |    |    |    | wB |    |  b     
-+--------------------------------------------+       
-| wP | wP | wP | wP | wP | wP | wP | wP | wP |  c   
-+--------------------------------------------+     
-|    |    |    |    |    |    |    |    |    |  d   
-+--------------------------------------------+     
-|    |    |    |    |    |    |    |    |    |  e   
-+--------------------------------------------+     
-|    |    |    |    |    |    |    |    |    |  f   
-+--------------------------------------------+     
-| bP | bP | bP | bP | bP | bP | bP | bP | bP |  g   
-+--------------------------------------------+       
-|    | bB |    |    |    |    |    | bR |    |  h   
-+--------------------------------------------+       
-| bL | bN | bS | bG | bK | bG | bS | bN | bL |  i    
-+--------------------------------------------+
-</PRE>
-"""
-
-#
-# Insert the first figure directly into the html file.
-#
-
-done = 0
-
-while 1:
-    line = sys.stdin.readline()
-    if not line:
-        break
-    
-    if not done:
-        match = re.match(key, line)
-        if match:
-            print replace,
-            done = 1
-        else:
-            print line,
-    else:
-        print line,
-
-

diff --git a/doc/make_fig2 b/doc/make_fig2
deleted file mode 100755 (executable)
index 94e867c..0000000
--- a/doc/make_fig2
+++ /dev/null
@@ -1,53 +0,0 @@
-#! /usr/bin/env python
-
-import sys, re
-
-key = "three-mover.  Here is a really trivial three-mover:"
-
-replace = """
-three-mover.  Here is a really trivial three-mover:
-<P>
-<PRE>
-
-   3    2    1            
-----------------+         
- |    |    |    |  a         
-----------------+           
- |    |    | wK |  b         
-----------------+           
- |    |    |    |  c       
-----------------+         
- | bN |    |    |  d       
-----------------+         
- |    |    |    |  e       
-----------------+         
- |    | bN |    |  f       
-----------------+
-
-Black in hand: S, G
-
-</PRE>
-"""
-
-#
-# Insert the figure directly into the html file.
-#
-
-done = 0
-
-while 1:
-    line = sys.stdin.readline()
-    if not line:
-        break
-    
-    if not done:
-        match = re.match(key, line)
-        if match:
-            print replace,
-            done = 1
-        else:
-            print line,
-    else:
-        print line,
-
-