diff options
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 4fa2b87d..62e5943a 100644 --- a/images/Makefile +++ b/images/Makefile @@ -20,7 +20,7 @@ # Sources BUTTONS=goal.xcf next.xcf qed.xcf restart.xcf retract.xcf undo.xcf use.xcf -WEBPIX=ProofGeneral.xcf text_general.xcf text_proof.xcf +WEBPIX=isabelle_transparent.xcf ProofGeneral.xcf text_general.xcf text_proof.xcf # Targets for html directory WEBPIX_ONLY= |