Need to use , rather than / as the sed separator
authorMarc Fiuczynski <mef@cs.princeton.edu>
Wed, 15 Jul 2009 13:35:12 +0000 (13:35 +0000)
committerMarc Fiuczynski <mef@cs.princeton.edu>
Wed, 15 Jul 2009 13:35:12 +0000 (13:35 +0000)
commitb35bc5add66563dd7f7b3bf139c1a13c5d7803a4
treed59b18b542c6f441012830b78cc1e62d74677e03
parent97d17a690717546c34c011a7982bb784fcee4314
Need to use , rather than / as the sed separator
doc/Makefile