From b5207d006703f3049837b50e351176b9fa8feb76 Mon Sep 17 00:00:00 2001 From: Glen Whitney Date: Tue, 21 Aug 2018 11:29:13 -0700 Subject: [PATCH] Move makedoc.g to doc/ subdirectory --- doc/README.md | 3 --- makedoc.g => doc/makedoc.g | 0 2 files changed, 3 deletions(-) delete mode 100644 doc/README.md rename makedoc.g => doc/makedoc.g (100%) diff --git a/doc/README.md b/doc/README.md deleted file mode 100644 index 25bb005..0000000 --- a/doc/README.md +++ /dev/null @@ -1,3 +0,0 @@ -This directory is currently empty in the repository, except for this file, -since its entire contents are generated by AutoDoc (see the makedoc.g file in -the main package directory, one level up from this directory.) diff --git a/makedoc.g b/doc/makedoc.g similarity index 100% rename from makedoc.g rename to doc/makedoc.g