| | <<<Back 1 day (to 2018/11/05) | 20181106 |
| moolc | A friend called few days ago, he was filling a German visa application and was taken aback by the producer(creator?) field in the PDF - GPL Ghostscript (i s'pose it's the GPL part that shocked him the most) | 07:47.55 |
| paulgardiner | I'm updating util.js. How should I regenerate util.js.h? It looks to be checked into the repo, rather than generated during the build. | 15:25.31 |
| tor8 | paulgardiner: 'make' regenerates util.js.h | 15:29.18 |
| paulgardiner | I could to it easily enough with vi, but with a risk of not catching the need for escaping something. | 15:29.20 |
| tor8 | from util.js | 15:29.29 |
| paulgardiner | Oh okay. Maybe I need to clean before building | 15:29.50 |
| tor8 | just call 'make generate' if you want to regenerate the file and not bother with other build stuff | 15:29.51 |
| | that should not be necessary, the dependencies are there in the makefile | 15:30.10 |
| paulgardiner | Maybe it doesn't work on Windows. | 15:30.26 |
| tor8 | http://ix.io/1r9o | 15:31.14 |
| | no, it probably doesn't. | 15:32.00 |
| | paulgardiner: do you use win10? | 15:32.12 |
| paulgardiner | Yeah, for working on mupdf at least. I can move the .js change over to linux, build there and then check in the new h file. | 15:33.10 |
| tor8 | sed -f scripts/jsdump.sed < $f > $f.h | 15:33.19 |
| | if you have a sed on your windows and just want to regenerate it manually | 15:33.31 |
| paulgardiner | Oh okay ta | 15:33.50 |
| tor8 | if you have win10, you could do the 'linux' build on your local windows files | 15:36.29 |
| | using the ubuntu shell | 15:36.37 |
| paulgardiner | Oh yes, I forgot about that... although I've run into trouble before if I use the ubuntu shell for git and build under Windows. | 15:37.33 |
| | A fix for the date-entering problem is on my master branch | 15:58.52 |
| | Forward 1 day (to 2018/11/07)>>> | |
Log of #mupdf at irc.freenode.net.