Using Grav for product documentation section. Was looking for something to generate html files initially. But Grav had a docs theme like rtd. So far it's runni

Using Grav for product documentation section. Was looking for something to generate html files initially. But Grav had a docs theme like rtd. So far it's running without a hitch. I've moved it a few times because its flat file, would recommend it.