diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 5f1c881bc..bdcf4b5f3 100644 --- a/Makefile.am +++ b/Makefile.am @@ -160,10 +160,10 @@ dist-hook: done) html: - cd docs; make html + cd docs && make html pdf: - cd docs; make pdf + cd docs && make pdf check: test examples check-docs |