Closed jvasile closed 5 years ago
@kfogel renamed the otsltx repo to ots-doctools. Update Makefile to suit.
Done in commit 6d895528713fec (though I wasn't aware of this ticket at the time).
@kfogel renamed the otsltx repo to ots-doctools. Update Makefile to suit.