From 23217014265fd6ca3a29ac49a6f98b6aa79440b4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Sep 2000 15:22:25 +0000
Subject: Note about creating images for toolbar.

---
 doc/PG-adapting.texi | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'doc')

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 12087979..67744b0a 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -176,6 +176,7 @@ Proof General.
 * Demonstration Instantiations::
 * Function Index::              
 * Variable Index::              
+* Keystroke Index::             
 * Concept Index::               
 @end menu
 @end ifinfo
@@ -563,6 +564,11 @@ But in case it is hard to map some of the generic buttons
 onto functions in particular provers, and to allow extra
 buttons, there is a mechanism for adjustment.
 
+I used The Gimp to create the buttons for Proof General.  The
+development distribution includes a button blank and some notes in
+@file{etc/notes.txt} about making new buttons.
+
+
 @c TEXI DOCSTRING MAGIC: proof-toolbar-entries-default
 @defvar proof-toolbar-entries-default 
 Example value for proof-toolbar-entries.  Also used to define Scripting menu.@*
-- 
cgit v1.2.3