User:KaKiLa: Difference between revisions

Jump to navigation Jump to search
553 bytes added ,  7 December 2016
Line 3: Line 3:


= Tips and Tricks=
= Tips and Tricks=
== Get file info when generate_html fails or warns==
Since generate_html gives errors about the random files generated, it is useless when debugging help text. The following command shows the first few lineas of the files created by generate_html.
<pre> f_old=/tmp/$(ls -1 -t /tmp | head -1);while true; do f=/tmp/$(ls -1 -t /tmp | head -1); if [ "$f" != "$f_old" ]; then echo $f; grep '@deftypefn ' --include="*octave-help*" $f; f_old=$f; fi; done</pre>
run this in a different terminal before using generate_html
is not ideal,but it does the trick
== Make options ==
== Make options ==
Some options to pass to make when compiling from source
Some options to pass to make when compiling from source
657

edits

Navigation menu