Wolfram Schneider
|
33216a38d0
|
make spaces
|
2017-10-12 15:39:02 +00:00 |
|
Wolfram Schneider
|
c5dbc10ef2
|
echo -> @${ECHO}
|
2017-10-12 15:20:47 +00:00 |
|
Wolfram Schneider
|
36b10d75a9
|
improve warning message
|
2017-10-12 15:19:45 +00:00 |
|
Wolfram Schneider
|
2ccc12750d
|
standard verbose make output.
If you do not like this, use `make -s po'
PR: 222939
|
2017-10-12 15:05:42 +00:00 |
|
Wolfram Schneider
|
8737e8fded
|
refactor to use make syntax instead shell/test scripts
PR: 222939
|
2017-10-12 14:57:50 +00:00 |
|
Wolfram Schneider
|
68c9592c28
|
refactor to use make syntax instead shell/test scripts
PR: 222939
|
2017-10-12 14:57:29 +00:00 |
|
Wolfram Schneider
|
3573c48c46
|
no fatal errors for english documents
refactor to use make syntax instead shell/test scripts
PR: 222939
|
2017-10-12 14:38:11 +00:00 |
|
Wolfram Schneider
|
2539094cdb
|
refactor translation to a new make file "doc.translate.mk"
PR: 222939
|
2017-10-12 14:13:48 +00:00 |
|