build/pkgs/singular/spkg-install.in: singular.hlp -> singular.info

sagemath · Nov 22, 2021 · eea6328 · eea6328
1 parent 8c6c949
commit eea6328
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build/pkgs/singular/spkg-install.in b/build/pkgs/singular/spkg-install.in
@@ -98,7 +98,7 @@ build_singular()
 
     # Singular tarballs made using "make dist" (without --enable-doc-build) do not contain built documentation.
     if [ ! -e doc/doc.tbz2 ]; then
-        (cd doc && make singular.hlp && sdh_install singular.hlp "$SAGE_SHARE/info/") || sdh_die "Building documentation failed"
+        (cd doc && make singular.info && sdh_install singular.info "$SAGE_SHARE/info/") || sdh_die "Building documentation failed"
     fi
 }