Remove hack previously used to insert diags into generated HTML.
authorYann Dirson <ydirson@free.fr>
Tue, 8 Oct 2013 21:15:50 +0000 (23:15 +0200)
committerYann Dirson <ydirson@free.fr>
Tue, 8 Oct 2013 21:18:06 +0000 (23:18 +0200)
commit8ce8026a83784396ecdb1cc1530ab09c7ae0a53c
tree7b57a03d4319a09d4070b281828bc2bdbf6d36ea
parentee7854267f81987f44e5f4973f3d55e09bd38174
Remove hack previously used to insert diags into generated HTML.

Useless since db5c540ff7e9dd176f797b50031141e2c2059456.
doc/Makefile
doc/make_fig1 [deleted file]
doc/make_fig2 [deleted file]