1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
Description: upstream: harden: install: plugins
The current maneuver around the installation of the plugins folder
is confusing for the debhelper(1) suite tools. It might be also confusing
for other distribution suite tools. What is confusing is that the permission
of the source material is changed. This change leads to misinterpretation.
This patch reproduces the desired end-result of the maneuver but it avoids
to touch any source material.
Origin: vendor, Debian
Forwarded: https://github.com/texmacs/texmacs/pull/86
Author: Jerome Benoit <calculus@rezozer.net>
Last-Update: 2024-08-08
--- a/Makefile.in
+++ b/Makefile.in
@@ -63,10 +63,10 @@
$(CP) misc/scripts/fig2ps $(tmdir)/bin
$(CP) misc/scripts/texmacs $(tmdir)/bin
$(CP) misc/scripts/tm_gs $(tmdir)/bin
- $(CHMOD) 755 $(tmdir)/bin/*
- $(CHMOD) 755 plugins/*/bin/*
$(RM) -r $(tmdir)/plugins
$(CP) plugins $(tmdir)/
+ $(CHMOD) 755 $(tmdir)/bin/*
+ $(CHMOD) 755 $(tmdir)/plugins/*/bin/*
@echo ----------------------------------------------------
@echo dynamic TeXmacs has been successfully compiled
@@ -80,10 +80,10 @@
$(CP) misc/scripts/fig2ps $(tmdir)/bin
$(CP) misc/scripts/texmacs $(tmdir)/bin
$(CP) misc/scripts/tm_gs $(tmdir)/bin
- $(CHMOD) 755 $(tmdir)/bin/*
- $(CHMOD) 755 plugins/*/bin/*
$(RM) -r $(tmdir)/plugins
$(CP) plugins $(tmdir)/plugins
+ $(CHMOD) 755 $(tmdir)/bin/*
+ $(CHMOD) 755 $(tmdir)/plugins/*/bin/*
@echo ----------------------------------------------------
@echo static TeXmacs has been successfully compiled
|
