Commits

Anonymous committed ce01b7c

ultra-dumb typo: should be "egrep -v" not just egrep!

  • Participants
  • Parent commits 659ee57

Comments (0)

Files changed (1)

 % |goboom| and pause/unpause lines, so we will strip those lines out.
 % What we do below is exactly equivalent to running
 % \begin{center}
-% \verb+egrep '^( _st_.goboom|print .SageT)' filename.sage | md5sum+
+% \verb+egrep -v '^( _st_.goboom|print .SageT)' filename.sage | md5sum+
 % \end{center}
 % in a shell.
 %    \begin{macrocode}