Update to 1.0.7.14

Changes:
See changelog at http://www.texmacs.org/tmweb/about/changes.en.html

PR:		ports/163598
Submitted by:	Rob Farmer <rfarmer@predatorlabs.net> (maintainer)
Feature safe:	yes
This commit is contained in:
Eitan Adler 2011-12-25 07:51:16 +00:00
parent 9bc91883a7
commit c257533af8
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=287994
3 changed files with 167 additions and 89 deletions

View file

@ -6,9 +6,9 @@
#
PORTNAME= texmacs
PORTVERSION= 1.0.7.13
PORTVERSION= 1.0.7.14
CATEGORIES= editors print
MASTER_SITES= http://www.texmacs.org/Download/ftp/tmftp/source/ \
MASTER_SITES= ftp://ftp.texmacs.org/TeXmacs/tmftp/source/ \
http://www.predatorlabs.net/dl/
DISTNAME= TeXmacs-${PORTVERSION}-src
@ -95,9 +95,10 @@ post-patch:
@${GREP} -lR "#!/bin/bash" ${WRKSRC} | ${XARGS} ${REINPLACE_CMD} -e \
's|#!/bin/bash|#!/bin/sh|g'
@${FIND} ${WRKSRC} -name \*.bak -delete
@${FIND} ${WRKSRC} -name \*.DS_Store -delete
@${REINPLACE_CMD} -e 's|ICONV_LDFLAGS/-liconv|ICONV_LDFLAGS|' \
${WRKSRC}/configure
#fix for namespace clash with Qt3
@ #fix for namespace clash with Qt3
@${REINPLACE_CMD} -e 's|qdrawutil.h|qt4/Qt/qdrawutil.h|' \
${WRKSRC}/src/Plugins/Qt/QTMStyle.cpp
@ -106,3 +107,4 @@ post-install:
${CHOWN} -R ${SHAREOWN}:${SHAREGRP} ${DATADIR}
.include <bsd.port.post.mk>

View file

@ -1,2 +1,2 @@
SHA256 (TeXmacs-1.0.7.13-src.tar.gz) = 8be4a7477e60453cfda04f34f9997aae7ffe865fa65dd768f312139d79f88e44
SIZE (TeXmacs-1.0.7.13-src.tar.gz) = 14985824
SHA256 (TeXmacs-1.0.7.14-src.tar.gz) = c19a49ea35f0e3c83fafa3c81e87e2d955d9cf4f297672eeaa557274a1ab95ae
SIZE (TeXmacs-1.0.7.14-src.tar.gz) = 14963486

View file

@ -2561,86 +2561,151 @@ 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/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/modern/24x24/tm_back.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_cancel.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_cancel_2.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_copy.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_cut.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_find.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_find_next.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_forward.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_language.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_larrow.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_larrow_bar.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_larrow_double.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_new.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_open.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_open_bis.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_paste.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_print.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_rarrow.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_rarrow_bar.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_rarrow_double.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_redo.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_reload.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_replace.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_save.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_spell.png
share/TeXmacs/misc/pixmaps/modern/24x24/tm_undo.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_add.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_add_2.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_both.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_first.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_alternate_second.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_background.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_border.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_pos.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_size.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_special.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_cell_wrap.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_down.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_left.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_right.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_delete_up.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_emphasize.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_left.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_exit_right.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_delete.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_focus_help.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_down.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_left.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_right.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_insert_up.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_large_around_2.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_math.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_name.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_numbered.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_root_index.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_sample.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_sansserif.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_set_properties.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_show_hidden.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_first.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_last.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_next.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_similar_previous.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_strong.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_table_parwidth.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_verbatim.png
share/TeXmacs/misc/pixmaps/modern/16x16/focus/tm_wide_under.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_activate.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_alignment.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_animate.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arc_mode.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_arrow.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_assign.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bbb.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigaround.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bigop.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binop.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_binrel.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_bold.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cal.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_carc_mode.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_chapter.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cline_mode.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_color.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_compact.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_cspline_mode.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_ctrl_flow.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_edit_props.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_emphasize.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_equal.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_floatpos.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_fraction.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_frak.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_geometry.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_graphics_grid.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_greek.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_group.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_move.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_rotate.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_group_zoom.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_image.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_index.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_italic.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_lambda.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_line_mode.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_link.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_list.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_preferences.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_style.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_math_syntax.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_mathbold.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_miscsymb.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_name.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_op.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_pageins.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parindent.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_parstyle.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_point_mode.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prime.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_program.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_prominent.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_quote.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_root.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sample.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_sansserif.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_section.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_shell.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_smallcaps.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_spline_mode.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_stretch.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_strong.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_subsup.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_switch.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_table.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textat_mode.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_textual.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_theorem.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_three.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_tuple.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_typewriter.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_unequal.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_verbatim.png
share/TeXmacs/misc/pixmaps/modern/20x20/mode/tm_wide.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_back.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cancel_2.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_copy.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_cut.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_find_next.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_forward.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_language.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_bar.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_larrow_double.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_new.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_open_bis.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_paste.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_print.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_bar.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_rarrow_double.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_redo.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_reload.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_replace.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_save.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_spell.png
share/TeXmacs/misc/pixmaps/modern/24x24/main/tm_undo.png
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
@ -2998,6 +3063,10 @@ share/TeXmacs/plugins/axiom/progs/init-axiom.scm
share/TeXmacs/plugins/cadabra/doc/cadabra-abstract.en.tm
share/TeXmacs/plugins/cadabra/doc/cadabra.en.tm
share/TeXmacs/plugins/cadabra/progs/init-cadabra.scm
share/TeXmacs/plugins/coq/packages/session/coq.ts
share/TeXmacs/plugins/coq/progs/coq-edit.scm
share/TeXmacs/plugins/coq/progs/coq-kbd.scm
share/TeXmacs/plugins/coq/progs/init-coq.scm
share/TeXmacs/plugins/dratex/doc/dratex-demo.en.tm
share/TeXmacs/plugins/dratex/doc/dratex.en.tm
share/TeXmacs/plugins/dratex/latex/AlDraTex.sty
@ -3302,6 +3371,7 @@ share/TeXmacs/progs/generic/generic-edit.scm
share/TeXmacs/progs/generic/generic-kbd.scm
share/TeXmacs/progs/generic/generic-menu.scm
share/TeXmacs/progs/generic/insert-menu.scm
share/TeXmacs/progs/graphics/graphics-drd.scm
share/TeXmacs/progs/graphics/graphics-edit.scm
share/TeXmacs/progs/graphics/graphics-env.scm
share/TeXmacs/progs/graphics/graphics-group.scm
@ -3309,6 +3379,7 @@ share/TeXmacs/progs/graphics/graphics-kbd.scm
share/TeXmacs/progs/graphics/graphics-main.scm
share/TeXmacs/progs/graphics/graphics-menu.scm
share/TeXmacs/progs/graphics/graphics-object.scm
share/TeXmacs/progs/graphics/graphics-single.scm
share/TeXmacs/progs/graphics/graphics-utils.scm
share/TeXmacs/progs/init-buffer.scm
share/TeXmacs/progs/init-texmacs.scm
@ -3661,6 +3732,10 @@ share/TeXmacs/texts/test/overview.tm
@dirrm share/TeXmacs/plugins/dratex/examples
@dirrm share/TeXmacs/plugins/dratex/doc
@dirrm share/TeXmacs/plugins/dratex
@dirrm share/TeXmacs/plugins/coq/progs
@dirrm share/TeXmacs/plugins/coq/packages/session
@dirrm share/TeXmacs/plugins/coq/packages
@dirrm share/TeXmacs/plugins/coq
@dirrm share/TeXmacs/plugins/cadabra/progs
@dirrm share/TeXmacs/plugins/cadabra/doc
@dirrm share/TeXmacs/plugins/cadabra
@ -3691,12 +3766,13 @@ share/TeXmacs/texts/test/overview.tm
@dirrm share/TeXmacs/misc/sounds
@dirrm share/TeXmacs/misc/pixmaps/traditional/--x17
@dirrm share/TeXmacs/misc/pixmaps/traditional
@dirrm share/TeXmacs/misc/pixmaps/modern/24x24/main
@dirrm share/TeXmacs/misc/pixmaps/modern/24x24
@dirrm share/TeXmacs/misc/pixmaps/modern/20x20/mode
@dirrm share/TeXmacs/misc/pixmaps/modern/20x20
@dirrm share/TeXmacs/misc/pixmaps/modern/16x16/focus
@dirrm share/TeXmacs/misc/pixmaps/modern/16x16
@dirrm share/TeXmacs/misc/pixmaps/modern
@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