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