HomeSoftware Heritage

docs: Create stub files to redirect moved pages

Description

docs: Create stub files to redirect moved pages

This only includes redirects for user documentation;
external links to the developer documentation would be broken,
but I don't think there are any such link and I don't want to
clutter the file tree unnecessarily.

Details

Provenance
vlorentzAuthored on Thu, Apr 8, 1:42 PM
vlorentzPushed on Thu, Apr 8, 2:59 PM
Differential Revision
D5452: Create stub files to redirect
Parents
rDDEP0398bcb811a3: Reorganize deposit documentation in three sections: API, internals, and…
Branches
Unknown
Tags
Unknown
References
tag: v0.13.5
Build Status
Buildable 20538
Build 31876: test-and-buildJenkins console · Jenkins