[TASK] Remove legacy documentation-rendering (tomasnorre#300)

AOEpeople · May 9, 2018 · 8eaa89a · 8eaa89a
1 parent a72e7a6
commit 8eaa89a
Show file tree

Hide file tree

Showing 6 changed files with 3 additions and 840 deletions.
diff --git a/Documentation/_make/Makefile b/Documentation/_make/Makefile
diff --git a/Documentation/_make/_not_versioned/_.gitignore b/Documentation/_make/_not_versioned/_.gitignore