diff options
author | Oliver Smith <osmith@sysmocom.de> | 2018-11-14 10:47:01 +0100 |
---|---|---|
committer | Neels Hofmeyr <neels@hofmeyr.de> | 2018-11-27 17:33:29 +0100 |
commit | 686deafa487802c6a99ef099d17d2e963dc2876c (patch) | |
tree | 0199f5deaad251ff599ddf67193443763b9c48b8 /src | |
parent | 5c55d4933d35055fd3469d5971ad5bc86741bcda (diff) |
build manuals included from osmo-gsm-manuals.git
Moved to doc/manuals/, with full commit history, in preceding merge commit.
Now incorporate in local the build system.
Build with:
$ autoreconf -fi
$ ./configure --enable-manuals
$ make
Shared files from osmo-gsm-manuals.git are found automatically if
- the repository is checked out in ../osmo-gsm-manuals; or
- if it osmo-gsm-manuals was installed with "make install"; or
- OSMO_GSM_MANUALS_DIR is set.
Related: OS#3385
Change-Id: I92c0f771d4ffc2b0401d26e25cb0b3817e6f95ea
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions