diff --git a/doc/man3 b/doc/man3 deleted file mode 120000 index 945c9b46d684f08ec84cb316e1dc0061e361f794..0000000000000000000000000000000000000000 --- a/doc/man3 +++ /dev/null @@ -1 +0,0 @@ -. \ No newline at end of file diff --git a/doc/man7 b/doc/man7 deleted file mode 120000 index 945c9b46d684f08ec84cb316e1dc0061e361f794..0000000000000000000000000000000000000000 --- a/doc/man7 +++ /dev/null @@ -1 +0,0 @@ -. \ No newline at end of file