From 8f567402257bfb6c92875e606a15e19062f6f847 Mon Sep 17 00:00:00 2001
From: Marten Lohstroh <marten@berkeley.edu>
Date: Thu, 2 May 2024 18:39:53 -0700
Subject: [PATCH] Instructions for versioning

---
 README.md | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/README.md b/README.md
index 7c2daafb1..a655f2d74 100644
--- a/README.md
+++ b/README.md
@@ -24,3 +24,14 @@ In our [deployment workflow](https://github.com/lf-lang/lf-lang.github.io/blob/m
 $ yarn build
 ```
 This generates static content in the `build` directory, which gets served using GitHub's static contents hosting service, GitHub Pages.
+
+### Versioning
+Instructions for "freezing" the current docs and filing them under a version number, can be found [here](https://docusaurus.io/docs/versioning). Normally, the steps are:
+```
+git switch main
+git pull
+git checkout -b v<major>.<minor>.<patch>
+yarn docusaurus docs:version <major>.<minor>.<patch>
+git add versioned_docs/*
+git commit -a -m 'Docs v<major>.<minor>.<patch>'
+```
\ No newline at end of file