29 Jul
2008
29 Jul
'08
11:28 a.m.
On Jul 29, 2008, at 12:43 PM, Nikolaus Binder wrote:
Hi Alex,
thank you for your help... I already found that but am a bit stuck exactly at that point... it doesn't find make... thought someone had a small script as this is nothing too special.
Ah, I thought there was already a command to run the makefile but it seems that there isn't.
You can easily create a command to do this. Create a new command with contents:
echo "<html><body><pre>" cd $(basename $TM_FILEPATH) make echo "</pre></body></html>
Set Input: None, Output: Show as HTML and bind the command to CMD+R.