From 2d98931a8875412325680773db85572c383add66 Mon Sep 17 00:00:00 2001 From: Kristian Evers Date: Mon, 17 Feb 2020 12:02:35 +0100 Subject: Remove man3 files Closes #1258 --- HOWTO-RELEASE | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) (limited to 'HOWTO-RELEASE') diff --git a/HOWTO-RELEASE b/HOWTO-RELEASE index 23bcdafb..1f140bfe 100644 --- a/HOWTO-RELEASE +++ b/HOWTO-RELEASE @@ -60,12 +60,9 @@ Update the following files with the new ABI version number: 1.2 Update man pages ------------------------------------------------------------------------------- -Man pages are (mostly) automatically generated from the Sphinx docs. The pages -in man/man3/ was manually updated in 1.1. Here we update the pages in -man/man1/. Follow these steps: +Man pages are (mostly) automatically generated from the Sphinx docs. Follow +these steps: - - Update version number and date in `man/man3/pj_init.3` and - `man/man3/geodesic.3` - Temporarily update version in `docs/source/conf.py` - run `scripts/update_man.sh` - Revert version number in `docs/source/conf.py` -- cgit v1.2.3