- Update to 1.0.7.9

- Add OPTIONS

PR:		ports/155343
Submitted by:	Rob Farmer <rfarmer@predatorlabs.net> (maintainer)

3 files changed, 339 insertions, 258 deletions

diff --git a/editors/texmacs/Makefile b/editors/texmacs/Makefile
index 003675fb3ed8..f698225b689a 100644
--- a/editors/texmacs/Makefile
+++ b/editors/texmacs/Makefile
@@ -6,7 +6,7 @@
 #
 
 PORTNAME=	texmacs
-PORTVERSION=	1.0.7.8
+PORTVERSION=	1.0.7.9
 CATEGORIES=	editors print
 MASTER_SITES=	ftp://ftp.texmacs.org/pub/TeXmacs/%SUBDIR%/ \
 		http://www.predatorlabs.net/dl/
@@ -26,6 +26,7 @@ MAKE_JOBS_SAFE=	yes
 USE_PYTHON=	yes
 USE_ICONV=	yes
 USE_GMAKE=	yes
+USE_GHOSTSCRIPT=	yes
 GNU_CONFIGURE=	yes
 CONFIGURE_ENV=	CPPFLAGS="-I${LOCALBASE}/include" \
 		LDFLAGS="-L${LOCALBASE}/lib"
@@ -35,14 +36,36 @@ CONFIGURE_ARGS=	--enable-optimize="${CXXFLAGS}" \
 MAKE_ARGS=	CP="${CP} -R -f"
 ALL_TARGET=	${PORTNAME:U}
 
+DATADIR=	${PREFIX}/share/TeXmacs
+
 MAN1=		texmacs.1 fig2ps.1
 MANCOMPRESSED=	yes
 
+OPTIONS=	IMLIB2 "Use imlib2" ON \
+		PDF "Experimental PDF renderer" OFF \
+		QT4 "Experimental QT4 GUI" OFF
+
+DESKTOP_ENTRIES=	"TeXmacs" "${COMMENT}" \
+			"${DATADIR}/misc/pixmaps/TeXmacs.xpm" "texmacs" \
+			"Application;Education;Science;" false
+
+.include <bsd.port.options.mk>
+
 .if !defined(WITHOUT_IMLIB2)
 USE_EFL=	imlib2
 CONFIGURE_ARGS+=	--with-imlib2
 .endif
 
+.if !defined(WITHOUT_PDF)
+CONFIGURE_ARGS+=	--enable-pdf-renderer
+.endif
+
+.if !defined(WITHOUT_QT4)
+CONFIGURE_ARGS+=	--enable-qt
+USE_QT_VER=	4
+QT_COMPONENTS=	gui moc_build qmake_build uic_build
+.endif
+
 .include <bsd.port.pre.mk>
 
 post-patch:
@@ -53,9 +76,7 @@ post-patch:
 		${WRKSRC}/configure
 
 post-install:
-	${MKDIR} ${DESKTOPDIR}
-	${INSTALL_DATA} ${WRKSRC}/TeXmacs/misc/mime/texmacs.desktop ${DESKTOPDIR}/
 	${CHOWN} -R ${LIBOWN}:${LIBGRP} ${PREFIX}/libexec/TeXmacs
-	${CHOWN} -R ${SHAREOWN}:${SHAREGRP} ${PREFIX}/share/TeXmacs
+	${CHOWN} -R ${SHAREOWN}:${SHAREGRP} ${DATADIR}
 
 .include <bsd.port.post.mk>
diff --git a/editors/texmacs/distinfo b/editors/texmacs/distinfo
index 987de0fd8dda..2cf120a689f1 100644
--- a/editors/texmacs/distinfo
+++ b/editors/texmacs/distinfo
@@ -1,2 +1,2 @@
-SHA256 (TeXmacs-1.0.7.8-src.tar.gz) = b667d9ac52b2f9fee4612f73c75cf25b6f914fac572c2e96ebc7713b390df075
-SIZE (TeXmacs-1.0.7.8-src.tar.gz) = 5837070
+SHA256 (TeXmacs-1.0.7.9-src.tar.gz) = 95919f8edd5e0b9636668046f9fa9e1b2c9d6fad09e16485dfa21a3537d63e20
+SIZE (TeXmacs-1.0.7.9-src.tar.gz) = 6187387
diff --git a/editors/texmacs/pkg-plist b/editors/texmacs/pkg-plist
index 8b31d25472e5..c336a75a13da 100644
--- a/editors/texmacs/pkg-plist
+++ b/editors/texmacs/pkg-plist
@@ -111,6 +111,8 @@ share/TeXmacs/doc/about/changes/changes-15.en.ptm
 share/TeXmacs/doc/about/changes/changes-15.en.tm
 share/TeXmacs/doc/about/changes/changes-16.en.ptm
 share/TeXmacs/doc/about/changes/changes-16.en.tm
+share/TeXmacs/doc/about/changes/changes-17.en.ptm
+share/TeXmacs/doc/about/changes/changes-17.en.tm
 share/TeXmacs/doc/about/changes/changes-2.de.tm
 share/TeXmacs/doc/about/changes/changes-2.en.ptm
 share/TeXmacs/doc/about/changes/changes-2.en.tm
@@ -1657,254 +1659,308 @@ share/TeXmacs/misc/pixmaps/TeXmacs-old.xpm
 share/TeXmacs/misc/pixmaps/TeXmacs-sigma.xpm
 share/TeXmacs/misc/pixmaps/TeXmacs-solid.xpm
 share/TeXmacs/misc/pixmaps/TeXmacs.xpm
-share/TeXmacs/misc/pixmaps/tm_abstract.xpm
-share/TeXmacs/misc/pixmaps/tm_activate.xpm
-share/TeXmacs/misc/pixmaps/tm_acute.xpm
-share/TeXmacs/misc/pixmaps/tm_add.xpm
-share/TeXmacs/misc/pixmaps/tm_alternate_both.xpm
-share/TeXmacs/misc/pixmaps/tm_alternate_first.xpm
-share/TeXmacs/misc/pixmaps/tm_alternate_second.xpm
-share/TeXmacs/misc/pixmaps/tm_animate.xpm
-share/TeXmacs/misc/pixmaps/tm_arc_mode.xpm
-share/TeXmacs/misc/pixmaps/tm_arrow.xpm
-share/TeXmacs/misc/pixmaps/tm_assign.xpm
-share/TeXmacs/misc/pixmaps/tm_back.xpm
-share/TeXmacs/misc/pixmaps/tm_bar.xpm
-share/TeXmacs/misc/pixmaps/tm_bbb.xpm
-share/TeXmacs/misc/pixmaps/tm_bigleft.xpm
-share/TeXmacs/misc/pixmaps/tm_bigop.xpm
-share/TeXmacs/misc/pixmaps/tm_bigright.xpm
-share/TeXmacs/misc/pixmaps/tm_bigsep.xpm
-share/TeXmacs/misc/pixmaps/tm_binop.xpm
-share/TeXmacs/misc/pixmaps/tm_binrel.xpm
-share/TeXmacs/misc/pixmaps/tm_bold.xpm
-share/TeXmacs/misc/pixmaps/tm_books.xpm
-share/TeXmacs/misc/pixmaps/tm_breve.xpm
-share/TeXmacs/misc/pixmaps/tm_cal.xpm
-share/TeXmacs/misc/pixmaps/tm_cancel.xpm
-share/TeXmacs/misc/pixmaps/tm_carc_mode.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_background.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_border.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_bottom.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_by_cell.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_by_column.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_by_row.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_by_table.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_cell.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_column.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_hbase.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_hcenter.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_hcomma.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_hdot.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_height.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_hexact.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_hmax.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_hmin.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_hsep.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_left.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_pos.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_right.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_row.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_size.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_span.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_special.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_subtable.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_table.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_top.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_vbase.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_vcenter.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_vexact.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_vmax.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_vmin.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_vsep.xpm
-share/TeXmacs/misc/pixmaps/tm_cell_width.xpm
-share/TeXmacs/misc/pixmaps/tm_center.xpm
-share/TeXmacs/misc/pixmaps/tm_chapter.xpm
-share/TeXmacs/misc/pixmaps/tm_check.xpm
-share/TeXmacs/misc/pixmaps/tm_cline_mode.xpm
-share/TeXmacs/misc/pixmaps/tm_clsession.xpm
-share/TeXmacs/misc/pixmaps/tm_color.xpm
-share/TeXmacs/misc/pixmaps/tm_compact.xpm
-share/TeXmacs/misc/pixmaps/tm_copy.xpm
-share/TeXmacs/misc/pixmaps/tm_cspline_mode.xpm
-share/TeXmacs/misc/pixmaps/tm_ctrl_flow.xpm
-share/TeXmacs/misc/pixmaps/tm_cursor_none.xpm
-share/TeXmacs/misc/pixmaps/tm_cut.xpm
-share/TeXmacs/misc/pixmaps/tm_ddot.xpm
-share/TeXmacs/misc/pixmaps/tm_dead.xpm
-share/TeXmacs/misc/pixmaps/tm_decorate_down.xpm
-share/TeXmacs/misc/pixmaps/tm_decorate_left.xpm
-share/TeXmacs/misc/pixmaps/tm_decorate_right.xpm
-share/TeXmacs/misc/pixmaps/tm_decorate_up.xpm
-share/TeXmacs/misc/pixmaps/tm_delete_down.xpm
-share/TeXmacs/misc/pixmaps/tm_delete_left.xpm
-share/TeXmacs/misc/pixmaps/tm_delete_right.xpm
-share/TeXmacs/misc/pixmaps/tm_delete_up.xpm
-share/TeXmacs/misc/pixmaps/tm_description.xpm
-share/TeXmacs/misc/pixmaps/tm_display_style.xpm
-share/TeXmacs/misc/pixmaps/tm_dot.xpm
-share/TeXmacs/misc/pixmaps/tm_edit_props.xpm
-share/TeXmacs/misc/pixmaps/tm_emphasize.xpm
-share/TeXmacs/misc/pixmaps/tm_empty.xpm
-share/TeXmacs/misc/pixmaps/tm_enumerate.xpm
-share/TeXmacs/misc/pixmaps/tm_equal.xpm
-share/TeXmacs/misc/pixmaps/tm_exit.xpm
-share/TeXmacs/misc/pixmaps/tm_exit_left.xpm
-share/TeXmacs/misc/pixmaps/tm_exit_right.xpm
-share/TeXmacs/misc/pixmaps/tm_fill.xpm
-share/TeXmacs/misc/pixmaps/tm_find.xpm
-share/TeXmacs/misc/pixmaps/tm_find_next.xpm
-share/TeXmacs/misc/pixmaps/tm_floating.xpm
-share/TeXmacs/misc/pixmaps/tm_floatpos.xpm
-share/TeXmacs/misc/pixmaps/tm_focus_delete.xpm
-share/TeXmacs/misc/pixmaps/tm_focus_help.xpm
-share/TeXmacs/misc/pixmaps/tm_footnote.xpm
-share/TeXmacs/misc/pixmaps/tm_forward.xpm
-share/TeXmacs/misc/pixmaps/tm_fraction.xpm
-share/TeXmacs/misc/pixmaps/tm_frak.xpm
-share/TeXmacs/misc/pixmaps/tm_go.xpm
-share/TeXmacs/misc/pixmaps/tm_gr_color.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_cursor.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_cursorM.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_cursor_redimE.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_cursor_redimN.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_cursor_redimS.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_geometry.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_grid.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_mask.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_maskM.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_mask_redimE.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_mask_redimN.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_mask_redimS.xpm
-share/TeXmacs/misc/pixmaps/tm_graphics_redim.xpm
-share/TeXmacs/misc/pixmaps/tm_grave.xpm
-share/TeXmacs/misc/pixmaps/tm_greek.xpm
-share/TeXmacs/misc/pixmaps/tm_group_group.xpm
-share/TeXmacs/misc/pixmaps/tm_group_move.xpm
-share/TeXmacs/misc/pixmaps/tm_group_rotate.xpm
-share/TeXmacs/misc/pixmaps/tm_group_ungroup.xpm
-share/TeXmacs/misc/pixmaps/tm_group_zoom.xpm
-share/TeXmacs/misc/pixmaps/tm_hat.xpm
-share/TeXmacs/misc/pixmaps/tm_help.xpm
-share/TeXmacs/misc/pixmaps/tm_if.xpm
-share/TeXmacs/misc/pixmaps/tm_image.xpm
-share/TeXmacs/misc/pixmaps/tm_index.xpm
-share/TeXmacs/misc/pixmaps/tm_insert_down.xpm
-share/TeXmacs/misc/pixmaps/tm_insert_graphics.xpm
-share/TeXmacs/misc/pixmaps/tm_insert_left.xpm
-share/TeXmacs/misc/pixmaps/tm_insert_right.xpm
-share/TeXmacs/misc/pixmaps/tm_insert_up.xpm
-share/TeXmacs/misc/pixmaps/tm_italic.xpm
-share/TeXmacs/misc/pixmaps/tm_item.xpm
-share/TeXmacs/misc/pixmaps/tm_itemize.xpm
-share/TeXmacs/misc/pixmaps/tm_justify.xpm
-share/TeXmacs/misc/pixmaps/tm_lambda.xpm
-share/TeXmacs/misc/pixmaps/tm_language.xpm
-share/TeXmacs/misc/pixmaps/tm_large_around.xpm
-share/TeXmacs/misc/pixmaps/tm_left.xpm
-share/TeXmacs/misc/pixmaps/tm_line_arrows.xpm
-share/TeXmacs/misc/pixmaps/tm_line_mode.xpm
-share/TeXmacs/misc/pixmaps/tm_line_pattern.xpm
-share/TeXmacs/misc/pixmaps/tm_line_style.xpm
-share/TeXmacs/misc/pixmaps/tm_line_width.xpm
-share/TeXmacs/misc/pixmaps/tm_link.xpm
-share/TeXmacs/misc/pixmaps/tm_margin.xpm
-share/TeXmacs/misc/pixmaps/tm_mask_none.xpm
-share/TeXmacs/misc/pixmaps/tm_math.xpm
-share/TeXmacs/misc/pixmaps/tm_mathbold.xpm
-share/TeXmacs/misc/pixmaps/tm_miscsymb.xpm
-share/TeXmacs/misc/pixmaps/tm_multicol.xpm
-share/TeXmacs/misc/pixmaps/tm_name.xpm
-share/TeXmacs/misc/pixmaps/tm_new.xpm
-share/TeXmacs/misc/pixmaps/tm_numbered.xpm
-share/TeXmacs/misc/pixmaps/tm_open.xpm
-share/TeXmacs/misc/pixmaps/tm_pageins.xpm
-share/TeXmacs/misc/pixmaps/tm_parindent.xpm
-share/TeXmacs/misc/pixmaps/tm_parstyle.xpm
-share/TeXmacs/misc/pixmaps/tm_paste.xpm
-share/TeXmacs/misc/pixmaps/tm_plugin_input.xpm
-share/TeXmacs/misc/pixmaps/tm_plugin_output.xpm
-share/TeXmacs/misc/pixmaps/tm_plus.xpm
-share/TeXmacs/misc/pixmaps/tm_point_mode.xpm
-share/TeXmacs/misc/pixmaps/tm_point_style.xpm
-share/TeXmacs/misc/pixmaps/tm_prime.xpm
-share/TeXmacs/misc/pixmaps/tm_print.xpm
-share/TeXmacs/misc/pixmaps/tm_redo.xpm
-share/TeXmacs/misc/pixmaps/tm_reload.xpm
-share/TeXmacs/misc/pixmaps/tm_replace.xpm
-share/TeXmacs/misc/pixmaps/tm_right.xpm
-share/TeXmacs/misc/pixmaps/tm_root.xpm
-share/TeXmacs/misc/pixmaps/tm_root_index.xpm
-share/TeXmacs/misc/pixmaps/tm_sansserif.xpm
-share/TeXmacs/misc/pixmaps/tm_save.xpm
-share/TeXmacs/misc/pixmaps/tm_section.xpm
-share/TeXmacs/misc/pixmaps/tm_session_delete.xpm
-share/TeXmacs/misc/pixmaps/tm_session_field.xpm
-share/TeXmacs/misc/pixmaps/tm_session_insert.xpm
-share/TeXmacs/misc/pixmaps/tm_session_session.xpm
-share/TeXmacs/misc/pixmaps/tm_session_split.xpm
-share/TeXmacs/misc/pixmaps/tm_shell.xpm
-share/TeXmacs/misc/pixmaps/tm_show_hidden.xpm
-share/TeXmacs/misc/pixmaps/tm_similar_first.xpm
-share/TeXmacs/misc/pixmaps/tm_similar_last.xpm
-share/TeXmacs/misc/pixmaps/tm_similar_next.xpm
-share/TeXmacs/misc/pixmaps/tm_similar_previous.xpm
-share/TeXmacs/misc/pixmaps/tm_smallcaps.xpm
-share/TeXmacs/misc/pixmaps/tm_spell.xpm
-share/TeXmacs/misc/pixmaps/tm_spline_mode.xpm
-share/TeXmacs/misc/pixmaps/tm_sqrt.xpm
-share/TeXmacs/misc/pixmaps/tm_stop.xpm
-share/TeXmacs/misc/pixmaps/tm_stretch.xpm
-share/TeXmacs/misc/pixmaps/tm_strong.xpm
-share/TeXmacs/misc/pixmaps/tm_style.xpm
-share/TeXmacs/misc/pixmaps/tm_sub.xpm
-share/TeXmacs/misc/pixmaps/tm_sup.xpm
-share/TeXmacs/misc/pixmaps/tm_switch.xpm
-share/TeXmacs/misc/pixmaps/tm_table.xpm
-share/TeXmacs/misc/pixmaps/tm_table_arow.xpm
-share/TeXmacs/misc/pixmaps/tm_table_bbottom.xpm
-share/TeXmacs/misc/pixmaps/tm_table_bhcenter.xpm
-share/TeXmacs/misc/pixmaps/tm_table_bleft.xpm
-share/TeXmacs/misc/pixmaps/tm_table_border.xpm
-share/TeXmacs/misc/pixmaps/tm_table_bottom.xpm
-share/TeXmacs/misc/pixmaps/tm_table_bright.xpm
-share/TeXmacs/misc/pixmaps/tm_table_brow.xpm
-share/TeXmacs/misc/pixmaps/tm_table_btop.xpm
-share/TeXmacs/misc/pixmaps/tm_table_bvcenter.xpm
-share/TeXmacs/misc/pixmaps/tm_table_dcol.xpm
-share/TeXmacs/misc/pixmaps/tm_table_drow.xpm
-share/TeXmacs/misc/pixmaps/tm_table_hbase.xpm
-share/TeXmacs/misc/pixmaps/tm_table_hcenter.xpm
-share/TeXmacs/misc/pixmaps/tm_table_insert.xpm
-share/TeXmacs/misc/pixmaps/tm_table_lcol.xpm
-share/TeXmacs/misc/pixmaps/tm_table_left.xpm
-share/TeXmacs/misc/pixmaps/tm_table_pos.xpm
-share/TeXmacs/misc/pixmaps/tm_table_rcol.xpm
-share/TeXmacs/misc/pixmaps/tm_table_right.xpm
-share/TeXmacs/misc/pixmaps/tm_table_size.xpm
-share/TeXmacs/misc/pixmaps/tm_table_special.xpm
-share/TeXmacs/misc/pixmaps/tm_table_top.xpm
-share/TeXmacs/misc/pixmaps/tm_table_vbase.xpm
-share/TeXmacs/misc/pixmaps/tm_table_vcenter.xpm
-share/TeXmacs/misc/pixmaps/tm_table_vfrac.xpm
-share/TeXmacs/misc/pixmaps/tm_test.xpm
-share/TeXmacs/misc/pixmaps/tm_text_align.xpm
-share/TeXmacs/misc/pixmaps/tm_textat_mode.xpm
-share/TeXmacs/misc/pixmaps/tm_textual.xpm
-share/TeXmacs/misc/pixmaps/tm_theorem.xpm
-share/TeXmacs/misc/pixmaps/tm_three.xpm
-share/TeXmacs/misc/pixmaps/tm_tilda.xpm
-share/TeXmacs/misc/pixmaps/tm_title.xpm
-share/TeXmacs/misc/pixmaps/tm_toggle_change_props.xpm
-share/TeXmacs/misc/pixmaps/tm_tuple.xpm
-share/TeXmacs/misc/pixmaps/tm_typewriter.xpm
-share/TeXmacs/misc/pixmaps/tm_undo.xpm
-share/TeXmacs/misc/pixmaps/tm_unequal.xpm
-share/TeXmacs/misc/pixmaps/tm_unfold.xpm
-share/TeXmacs/misc/pixmaps/tm_vect.xpm
-share/TeXmacs/misc/pixmaps/tm_verbatim.xpm
-share/TeXmacs/misc/pixmaps/tm_wide.xpm
-share/TeXmacs/misc/pixmaps/tm_wide_under.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_back.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_cancel.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_copy.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_cut.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_find.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_find_next.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_forward.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_language.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_new.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_open.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_paste.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_print.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_redo.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_reload.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_replace.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_save.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_spell.xpm
+share/TeXmacs/misc/pixmaps/alternate/24x24/tm_undo.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_back.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_cancel.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_copy.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_cut.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_find.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_find_next.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_forward.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_language.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_new.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_open.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_paste.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_print.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_redo.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_reload.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_replace.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_save.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_spell.xpm
+share/TeXmacs/misc/pixmaps/alternate/32x32/tm_undo.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_back.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_cancel.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_copy.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_cut.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_find.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_find_next.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_forward.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_language.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_new.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_open.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_paste.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_print.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_redo.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_reload.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_replace.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_save.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_spell.xpm
+share/TeXmacs/misc/pixmaps/alternate/48x48/tm_undo.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_abstract.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_activate.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_acute.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_add.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_alternate_both.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_alternate_first.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_alternate_second.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_animate.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_arc_mode.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_arrow.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_assign.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_back.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_bar.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_bbb.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_bigleft.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_bigop.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_bigright.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_bigsep.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_binop.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_binrel.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_bold.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_books.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_breve.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cal.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cancel.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_carc_mode.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_background.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_border.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_bottom.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_by_cell.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_by_column.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_by_row.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_by_table.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_cell.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_column.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_hbase.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_hcenter.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_hcomma.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_hdot.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_height.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_hexact.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_hmax.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_hmin.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_hsep.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_left.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_pos.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_right.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_row.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_size.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_span.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_special.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_subtable.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_table.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_top.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_vbase.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_vcenter.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_vexact.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_vmax.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_vmin.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_vsep.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cell_width.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_center.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_chapter.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_check.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cline_mode.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_clsession.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_color.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_compact.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_copy.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cspline_mode.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_ctrl_flow.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cursor_none.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_cut.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_ddot.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_dead.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_decorate_down.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_decorate_left.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_decorate_right.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_decorate_up.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_delete_down.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_delete_left.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_delete_right.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_delete_up.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_description.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_display_style.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_dot.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_edit_props.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_emphasize.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_empty.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_enumerate.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_equal.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_exit.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_exit_left.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_exit_right.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_fill.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_find.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_find_next.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_floating.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_floatpos.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_focus_delete.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_focus_help.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_footnote.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_forward.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_fraction.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_frak.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_go.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_gr_color.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_cursor.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_cursorM.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_cursor_redimE.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_cursor_redimN.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_cursor_redimS.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_geometry.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_grid.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_mask.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_maskM.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_mask_redimE.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_mask_redimN.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_mask_redimS.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_graphics_redim.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_grave.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_greek.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_group_group.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_group_move.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_group_rotate.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_group_ungroup.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_group_zoom.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_hat.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_help.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_if.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_image.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_index.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_insert_down.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_insert_graphics.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_insert_left.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_insert_right.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_insert_up.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_italic.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_item.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_itemize.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_justify.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_lambda.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_language.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_large_around.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_left.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_line_arrows.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_line_mode.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_line_pattern.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_line_style.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_line_width.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_link.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_margin.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_mask_none.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_math.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_mathbold.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_miscsymb.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_multicol.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_name.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_new.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_numbered.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_open.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_pageins.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_parindent.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_parstyle.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_paste.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_plugin_input.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_plugin_output.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_plus.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_point_mode.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_point_style.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_prime.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_print.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_redo.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_reload.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_replace.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_right.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_root.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_root_index.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_sansserif.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_save.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_section.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_session_delete.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_session_field.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_session_insert.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_session_session.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_session_split.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_shell.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_show_hidden.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_similar_first.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_similar_last.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_similar_next.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_similar_previous.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_smallcaps.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_spell.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_spline_mode.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_sqrt.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_stop.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_stretch.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_strong.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_style.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_sub.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_sup.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_switch.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_arow.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_bbottom.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_bhcenter.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_bleft.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_border.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_bottom.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_bright.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_brow.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_btop.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_bvcenter.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_dcol.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_drow.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_hbase.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_hcenter.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_insert.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_lcol.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_left.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_pos.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_rcol.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_right.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_size.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_special.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_top.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_vbase.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_vcenter.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_table_vfrac.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_test.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_text_align.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_textat_mode.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_textual.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_theorem.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_three.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_tilda.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_title.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_toggle_change_props.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_tuple.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_typewriter.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_undo.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_unequal.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_unfold.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_vect.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_verbatim.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_wide.xpm
+share/TeXmacs/misc/pixmaps/traditional/--x17/tm_wide_under.xpm
 share/TeXmacs/misc/pixmaps/unknown.ps
 share/TeXmacs/misc/sounds/phone.wav
 share/TeXmacs/packages/beamer/alt-colors.ts
@@ -1915,6 +1971,7 @@ share/TeXmacs/packages/beamer/presentation.ts
 share/TeXmacs/packages/beamer/ridged-paper.ts
 share/TeXmacs/packages/beamer/slides.ts
 share/TeXmacs/packages/customize/cite-author-year.ts
+share/TeXmacs/packages/customize/compact-list.ts
 share/TeXmacs/packages/customize/number-europe.ts
 share/TeXmacs/packages/customize/number-long-article.ts
 share/TeXmacs/packages/customize/number-us.ts
@@ -2209,6 +2266,7 @@ share/TeXmacs/progs/dynamic/scripts-drd.scm
 share/TeXmacs/progs/dynamic/scripts-edit.scm
 share/TeXmacs/progs/dynamic/scripts-kbd.scm
 share/TeXmacs/progs/dynamic/scripts-menu.scm
+share/TeXmacs/progs/dynamic/session-doc.scm
 share/TeXmacs/progs/dynamic/session-drd.scm
 share/TeXmacs/progs/dynamic/session-edit.scm
 share/TeXmacs/progs/dynamic/session-menu.scm
@@ -2269,7 +2327,6 @@ share/TeXmacs/progs/kernel/library/content.scm
 share/TeXmacs/progs/kernel/library/iterator.scm
 share/TeXmacs/progs/kernel/library/list.scm
 share/TeXmacs/progs/kernel/library/tree.scm
-share/TeXmacs/progs/kernel/regexp/grammar.scm
 share/TeXmacs/progs/kernel/regexp/regexp-match.scm
 share/TeXmacs/progs/kernel/regexp/regexp-select.scm
 share/TeXmacs/progs/kernel/regexp/regexp-test.scm
@@ -2335,7 +2392,6 @@ share/TeXmacs/progs/texmacs/texmacs/tm-files.scm
 share/TeXmacs/progs/texmacs/texmacs/tm-print.scm
 share/TeXmacs/progs/texmacs/texmacs/tm-server.scm
 share/TeXmacs/progs/texmacs/texmacs/tm-view.scm
-share/TeXmacs/progs/text/#format-text-kbd.scm#
 share/TeXmacs/progs/text/cyrillic/cp1251-kbd.scm
 share/TeXmacs/progs/text/cyrillic/jcuken-kbd.scm
 share/TeXmacs/progs/text/cyrillic/koi8-kbd.scm
@@ -2405,8 +2461,6 @@ share/TeXmacs/texts/test/fonts-2.tm
 share/TeXmacs/texts/test/fonts-3.tm
 share/TeXmacs/texts/test/fonts.tm
 share/TeXmacs/texts/test/overview.tm
-share/applications/texmacs.desktop
-@dirrmtry share/applications
 @dirrm share/TeXmacs/texts/test
 @dirrm share/TeXmacs/texts
 @dirrm share/TeXmacs/styles/test
@@ -2591,6 +2645,12 @@ share/applications/texmacs.desktop
 @dirrm share/TeXmacs/packages/beamer
 @dirrm share/TeXmacs/packages
 @dirrm share/TeXmacs/misc/sounds
+@dirrm share/TeXmacs/misc/pixmaps/traditional/--x17
+@dirrm share/TeXmacs/misc/pixmaps/traditional
+@dirrm share/TeXmacs/misc/pixmaps/alternate/48x48
+@dirrm share/TeXmacs/misc/pixmaps/alternate/32x32
+@dirrm share/TeXmacs/misc/pixmaps/alternate/24x24
+@dirrm share/TeXmacs/misc/pixmaps/alternate
 @dirrm share/TeXmacs/misc/pixmaps
 @dirrm share/TeXmacs/misc/patterns
 @dirrm share/TeXmacs/misc/mime