- Briefly, the shell commands './configure; make; make install' should
-configure, build, and install this package. The following more-detailed
-instructions are generic; see the 'README' file for instructions
-specific to this package. Some packages provide this 'INSTALL' file but
-do not implement all of the features documented below. The lack of an
-optional feature in a given package is not necessarily a bug. More
-recommendations for GNU packages can be found in *note Makefile
-Conventions: (standards)Makefile Conventions.
+ Briefly, the shell command './configure && make && make install'
+should configure, build, and install this package. The following
+more-detailed instructions are generic; see the 'README' file for
+instructions specific to this package. Some packages provide this
+'INSTALL' file but do not implement all of the features documented
+below. The lack of an optional feature in a given package is not
+necessarily a bug. More recommendations for GNU packages can be found
+in *note Makefile Conventions: (standards)Makefile Conventions.