diff options
| author | Bruno Haible <bruno@clisp.org> | 2009-04-02 12:40:42 +0200 |
|---|---|---|
| committer | Bruno Haible <bruno@clisp.org> | 2009-04-02 12:40:42 +0200 |
| commit | ab20cf481c19c7a240d3e27d556bafe281d17f5b (patch) | |
| tree | e3f5f123db7a7f0c3fb04e1b50d07cc4a95d0109 /Makefile | |
| parent | b3141dc15538accd8566de0d1e39b3f2f02650cb (diff) | |
| download | gnulib-ab20cf481c19c7a240d3e27d556bafe281d17f5b.tar.gz | |
Combine 4 Makefile rules.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 2 insertions, 8 deletions
@@ -9,14 +9,8 @@ all: # Produce the documentation in readable form. -info: - cd doc && $(MAKE) info -html: - cd doc && $(MAKE) html -dvi: - cd doc && $(MAKE) dvi && $(MAKE) mostlyclean -pdf: - cd doc && $(MAKE) pdf && $(MAKE) mostlyclean +info html dvi pdf: + cd doc && $(MAKE) $@ && $(MAKE) mostlyclean # Perform some platform independent checks on the gnulib code. check: |