diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1999-11-19 17:54:19 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1999-11-19 17:54:19 +0000 |
commit | 779def3226ef45b82fd95ac506caea6f0afb92bd (patch) | |
tree | 0e509b5a5c1eee5011705d63708e11e137b717b4 /images/Makefile | |
parent | dfa0bad0ca32bb835cd78255a9760aa9bc8a693a (diff) |
Added goto button.
Diffstat (limited to 'images/Makefile')
-rw-r--r-- | images/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/images/Makefile b/images/Makefile index 5dce4a91..82aa2b04 100644 --- a/images/Makefile +++ b/images/Makefile @@ -19,7 +19,7 @@ ########################################################################### # Sources -BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf state.xcf context.xcf info.xcf command.xcf help.xcf find.xcf interrupt.xcf +BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf state.xcf context.xcf info.xcf command.xcf help.xcf find.xcf interrupt.xcf goto.xcf WEBPIX=isabelle_transparent.xcf ProofGeneral.xcf pg-text.xcf # Targets for html directory |