makerdao / mkr-mcd-spec

High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
GNU General Public License v3.0
28 stars 9 forks source link

Quick fix for Makefile #190

Closed ehildenb closed 4 years ago

ehildenb commented 4 years ago

The reason is that since the transfer of the repo to the makerdao/ organization, those lines do not work anymore (because it's not the RV repo). So I wanted to disable them because I keep getting notifications about the failure to deploy to GitHub pages, but I want to leave them as documentation about how to deploy to GitHub pages on your guys repo.