Merge branch 'maint'

* maint: [erts] Remove unused makewhatis script
nyczol · Dec 10, 2023 · 26a1832 · 26a1832
2 parents 1cfee42 + 6a0b70f
commit 26a1832
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 329 deletions.
diff --git a/erts/etc/common/Makefile.in b/erts/etc/common/Makefile.in
@@ -200,7 +200,7 @@ INSTALL_EMBEDDED_PROGS += \
 INSTALL_EMBEDDED_DATA = $(UXETC)/start.src $(UXETC)/start_erl.src
 INSTALL_TOP = Install
 INSTALL_TOP_BIN = 
-INSTALL_MISC = $(UXETC)/format_man_pages $(UXETC)/makewhatis
+INSTALL_MISC = $(UXETC)/format_man_pages
 INSTALL_SRC = $(UXETC)/setuid_socket_wrap.c #delivered as an example
 ERLEXECDIR = .
 INSTALL_LIBS =

diff --git a/erts/etc/unix/makewhatis b/erts/etc/unix/makewhatis
diff --git a/lib/reltool/doc/src/reltool_examples.xml b/lib/reltool/doc/src/reltool_examples.xml
@@ -420,7 +420,7 @@ Eshell V10.0  (abort with ^G)
           {write_file,"start.boot",&lt;&lt;131,104,3,119,...&gt;&gt;}]},
      {copy_file,"Install"},
      {create_dir,"misc",
-         [{copy_file,"makewhatis"},{copy_file,"format_man_pages"}]},
+         [{copy_file,"format_man_pages"}]},
      {create_dir,"usr",
          [{create_dir,"lib",
               [{copy_file,"liberl_interface_st.a"},