diff options
Diffstat (limited to 'lib/stdlib/doc/src/Makefile')
| -rw-r--r-- | lib/stdlib/doc/src/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/stdlib/doc/src/Makefile b/lib/stdlib/doc/src/Makefile index 508a4fa2de..5c6b714f80 100644 --- a/lib/stdlib/doc/src/Makefile +++ b/lib/stdlib/doc/src/Makefile @@ -71,7 +71,6 @@ XML_REF3_FILES = \ gen_statem.xml \ io.xml \ io_lib.xml \ - lib.xml \ lists.xml \ log_mf_h.xml \ maps.xml \ |