diff options
author | Jack Lloyd <[email protected]> | 2018-11-21 09:00:15 -0500 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2018-11-21 09:00:15 -0500 |
commit | 08072ba76b9308c8bd4d7491d88836f95fc3342f (patch) | |
tree | f5925167860757736ac63a0f448245b131a529c3 /src/build-data/makefile.in | |
parent | 9da186214a9f15c952ef72b18eeda8e7ca1c7df3 (diff) |
Build docs last in makefile target
Closes #1746
Diffstat (limited to 'src/build-data/makefile.in')
-rw-r--r-- | src/build-data/makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/build-data/makefile.in b/src/build-data/makefile.in index 50b34f35d..ba06abea6 100644 --- a/src/build-data/makefile.in +++ b/src/build-data/makefile.in @@ -27,7 +27,7 @@ SCRIPTS_DIR = %{scripts_dir} INSTALLED_LIB_DIR = %{prefix}/%{libdir} # The primary target -all: libs cli docs tests +all: libs cli tests docs # Executable targets CLI = %{cli_exe} |