diff options
| author | Joseph Myers <joseph@codesourcery.com> | 2012-02-28 14:44:20 +0000 |
|---|---|---|
| committer | Joseph Myers <joseph@codesourcery.com> | 2012-02-28 14:44:20 +0000 |
| commit | 1f77f0491f10f67442876cffbda387eac9eafe4d (patch) | |
| tree | 17ad3299a2c8e6198ffb4a6c33e94e38f816e284 /Makefile | |
| parent | 450bf206b4eba7e2288bc6c6e487f60e26165dce (diff) | |
Use Texinfo macros to refer to the GNU C Library within the manual.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -398,8 +398,8 @@ define format-me makeinfo --no-validate --plaintext --no-number-sections $< -o $@ -chmod a-w $@ endef -INSTALL: manual/install.texi; $(format-me) -NOTES: manual/creature.texi; $(format-me) +INSTALL: manual/install.texi manual/macros.texi; $(format-me) +NOTES: manual/creature.texi manual/macros.texi; $(format-me) manual/dir-add.texi manual/dir-add.info: FORCE $(MAKE) $(PARALLELMFLAGS) -C $(@D) $(@F) FAQ: scripts/gen-FAQ.pl FAQ.in |