search

rizinorg / cutter.re

The Cutter website
https://cutter.re
2 stars 13 forks source link

update docs from rizinorg/cutter #34

Closed Surendrajat closed 3 years ago

xarkes commented 3 years ago

Hmm. You should push your changes to master so that it rebuilds gh-pages, however I think current build is not working anymore. We can merge this PR so the information upstream is up to date however I think we should consider:

  1. Fix the automatic push of documentation from Cutter to Cutter.re (might need to wait for https://github.com/rizinorg/cutter/pull/2399)
  2. Fix the building of gh-pages when a commit is pushed to master in this repository.
Surendrajat commented 3 years ago

We can merge this PR so the information upstream is up to date

Yeah, this was the idea.