LaTexをHTMLに変換するのはplasTexがよいらしい。と言うことでインストール
sudo apt-get install python-plastex
export CVS_RSH=ssh
cvs -z3 -d:ext:developername@thinking-forth.cvs.sourceforge.net:/cvsroot/thinking-forth co thinking-forth
window.onlaod = function() {onload を onlaod と typo。
hogehoge....
}
. $HOME/.node/nvm.shを追加(ドットはsouceと同意だそう)