diff --git a/build/pkgs/singular/spkg-install.in b/build/pkgs/singular/spkg-install.in index 487080d93db..172bade36bd 100644 --- a/build/pkgs/singular/spkg-install.in +++ b/build/pkgs/singular/spkg-install.in @@ -99,8 +99,6 @@ build_singular() # Possible parallelization bugs in subdirectory Singular sdh_make -j1 sdh_make_install - # Trac #32001/#32323: Singular does not install singular.idx - sdh_install doc/singular.idx "$SAGE_SHARE/singular/" # Singular tarballs made using "make dist" (without --enable-doc-build) do not contain built documentation. if [ ! -e doc/doc.tbz2 ]; then