From 8ce8026a83784396ecdb1cc1530ab09c7ae0a53c Mon Sep 17 00:00:00 2001
From: Yann Dirson <ydirson@free.fr>
Date: Tue, 8 Oct 2013 23:15:50 +0200
Subject: [PATCH] Remove hack previously used to insert diags into generated HTML.

Useless since db5c540ff7e9dd176f797b50031141e2c2059456.
---
 doc/Makefile  |    4 ----
 doc/make_fig1 |   55 -------------------------------------------------------
 doc/make_fig2 |   53 -----------------------------------------------------
 3 files changed, 0 insertions(+), 112 deletions(-)
 delete mode 100755 doc/make_fig1
 delete mode 100755 doc/make_fig2

diff --git a/doc/Makefile b/doc/Makefile
index 8349954..6e4e0ac 100644
--- 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
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
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,
-
-
-- 
1.7.0.4