Nevermind, Jason used a git revert trick to get it to work. The v2 will
have the diff and preserve the git file history.
On Fri, May 25, 2018 at 7:58 PM, Laura Ekstrand
wrote:
> I specifically tried forcing a rename earlier, but it doesn't work. Git
> sees too much change. The only way I coul
I specifically tried forcing a rename earlier, but it doesn't work. Git
sees too much change. The only way I could get it to work was manually
renaming the HTML files to rst first, then committing, then converting to
rst.
The problem with that strategy is that then the Pandoc command for
convert
On Thursday, 2018-05-24 17:27:05 -0700, Laura Ekstrand wrote:
> Use Beautiful Soup to fix bad html, then use pandoc for converting to
> rst.
> ---
> docs/rstConverter.py | 23 +++
> 1 file changed, 23 insertions(+)
> create mode 100755 docs/rstConverter.py
>
> diff --git a/do
Use Beautiful Soup to fix bad html, then use pandoc for converting to
rst.
---
docs/rstConverter.py | 23 +++
1 file changed, 23 insertions(+)
create mode 100755 docs/rstConverter.py
diff --git a/docs/rstConverter.py b/docs/rstConverter.py
new file mode 100755
index 0
