doc/general: move contents into a separate file.

It will allow to include it.

doc/general: move contents into a separate file.
It will allow to include it.
6accb771 · Nicolas George · 7d7e44a3 · 6accb771 · 6accb771
Commit 6accb771 authored Aug 22, 2020 by Nicolas George
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 1415 additions and 1414 deletions

general.texi doc/general.texi +1 -1414

general_contents.texi doc/general_contents.texi +1414 -0

No files found.
--- a/doc/general.texi
+++ b/doc/general.texi
--- a/doc/general_contents.texi
+++ b/doc/general_contents.texi