diff options
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 733ec0482..f7affef8a 100644 --- a/Makefile.am +++ b/Makefile.am @@ -49,7 +49,7 @@ html: pdf: cd docs; make pdf -check: test +check: test examples if CROSSCOMPILING test-full: test @@ -71,6 +71,9 @@ test-torture: endif +examples: + @(cd docs/examples; $(MAKE) all) + # # Build source and binary rpms. For rpm-3.0 and above, the ~/.rpmmacros # must contain the following line: |