I use sphinx for latexindent docs: http://latexindentpl.readthedocs.io/en/latest/?badge=latest
On Wednesday, June 13, 2018, Komiya Takeshi <i.tkom...@gmail.com> wrote: > Hi Jonathan, > > Please send a pull request for us. Then I will merge it to examples page. > > Thanks, > Takeshi KOMIYA > > 2018-06-13 9:10 GMT+09:00 Jonathan Bayless <baylessjonat...@gmail.com>: > > Not 100% sure if this is the correct place to put this, but the Sphinx > > Examples page said to send updates to the examples list here. > > > > PROS is a open-source robotics operating system for the VEX Robotics > > Competition. We recently moved our docs over to Sphinx, using a modified > > version of the Sphinx RTD Theme (the fork for which can be found on our > > Github). > > > > The site can be found at https://pros.cs.purdue.edu/. > > > > If this info could get added to the examples page that would be great! > > > > -- > > You received this message because you are subscribed to the Google Groups > > "sphinx-users" group. > > To unsubscribe from this group and stop receiving emails from it, send an > > email to sphinx-users+unsubscr...@googlegroups.com. > > To post to this group, send email to sphinx-users@googlegroups.com. > > Visit this group at https://groups.google.com/group/sphinx-users. > > For more options, visit https://groups.google.com/d/optout. > > -- > You received this message because you are subscribed to the Google Groups > "sphinx-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sphinx-users+unsubscr...@googlegroups.com. > To post to this group, send email to sphinx-users@googlegroups.com. > Visit this group at https://groups.google.com/group/sphinx-users. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to sphinx-users+unsubscr...@googlegroups.com. To post to this group, send email to sphinx-users@googlegroups.com. Visit this group at https://groups.google.com/group/sphinx-users. For more options, visit https://groups.google.com/d/optout.