diff options
| author | Paul Smith <psmith@gnu.org> | 2012-03-04 00:24:20 +0000 |
|---|---|---|
| committer | Paul Smith <psmith@gnu.org> | 2012-03-04 00:24:20 +0000 |
| commit | e3bae2ae81d6b7fa329ad39b23929685da1efebd (patch) | |
| tree | 80b69e1fde31e8c4a39ee43b57546a06f77de353 /README.customs | |
| parent | 7ba9c699d9c2b2e700fcc94f2b7d1db2f4b97a8d (diff) | |
| download | make-e3bae2ae81d6b7fa329ad39b23929685da1efebd.tar.gz | |
Convert all "`'" quotes to "''" per new GNU Coding Standard guidelines.
Fixes Savannah bug #34530.
Diffstat (limited to 'README.customs')
| -rw-r--r-- | README.customs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/README.customs b/README.customs index eacdbc18..4b2e7b00 100644 --- a/README.customs +++ b/README.customs @@ -35,19 +35,19 @@ you'll need to re-apply them by hand. Install the Customs library and header files according to the documentation. You should also install the man pages (contrary to comments in the documentation, they weren't installed automatically for -me; I had to cd to the ``pmake-2.1.33/doc'' directory and run ``pmake -install'' there directly). +me; I had to cd to the 'pmake-2.1.33/doc' directory and run 'pmake +install' there directly). BUILDING GNU MAKE ----------------- Once you've installed Customs, you can build GNU make to use it. When -configuring GNU make, merely use the ``--with-customs=DIR'' option. -Provide the directory containing the ``lib'' and ``include/customs'' +configuring GNU make, merely use the '--with-customs=DIR' option. +Provide the directory containing the 'lib' and 'include/customs' subdirectories as DIR. For example, if you installed the customs library in /usr/local/lib and the headers in /usr/local/include/customs, -then you'd pass ``--with-customs=/usr/local'' as an option to configure. +then you'd pass '--with-customs=/usr/local' as an option to configure. Run make (or use build.sh) normally to build GNU make as described in the INSTALL file. |