docs: Split doc dir into user-facing and dev-docs #1632

1. 
   real-or-random commented at 4:50 pm on November 4, 2024: contributor

   https://github.com/bitcoin-core/secp256k1/tree/master/doc currently has two user-facing files and two developer-facing files. We should probably split this.

   We can also consider installing the user-facing docs (make install).

   This is marginally related to #1175.

2. real-or-random added the label user-documentation on Nov 4, 2024
3. real-or-random added the label refactor/smell on Nov 4, 2024
4. real-or-random added the label meta/development on Nov 4, 2024
5. real-or-random renamed this:
   docs: Split docs dir into user-facing and dev-docs
   docs: Split doc dir into user-facing and dev-docs
   on Nov 4, 2024

Contributors
real-or-random

Labels
user-documentation refactor/smell meta/development