EXTRA_DIST = \ newdoc.png \ newblankdoc.png \ \ newsite1.png \ newsite2.png \ opensite1.png \ opensite2.png \ opensitelocation.png \ \ sidebar-files1.png \ sidebar-files2.png \ sidebar-tree.png \ sidebar-attributes1.png \ sidebar-attributes2.png \ sidebar-attributes3.png \ sidebar-resources1.png \ sidebar-resources2.png \ sidebar-resources3.png \ sidebar-symbols.png \ sidebar-messages.png \ sidebar-errors.png \ \ editor.png \ editor-context-menu.png \ editor-pasting.png \ editor-autocomplete1.png \ editor-tooltips.png \ editor-inline-tagging.png \ editor-error.png \ \ preview.png \ tree.png \ \ color-wizard.png \ css-wizard1.png \ css-wizard2.png \ entity-wizard.png \ form-wizard.png \ image-wizard.png \ object-wizard.png \ link-wizard1.png \ link-wizard2.png \ ssi-wizard.png \ table-wizard.png \ \ prefs-misc.png \ prefs-fonts-colors.png \ prefs-editor.png \ prefs-browsers.png \ prefs-doctypes.png \ prefs-tag-trees.png