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 /.gitignore | |
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 '.gitignore')
-rw-r--r-- | .gitignore | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 5a0901661..ea828b6f1 100644 --- a/.gitignore +++ b/.gitignore @@ -72,3 +72,14 @@ tests/testsuite tests/testsuite.log writtenconfig/ + +# manuals +doc/manuals/*.html +doc/manuals/*.svg +doc/manuals/*.pdf +doc/manuals/*__*.png +doc/manuals/*.check +doc/manuals/generated/ +doc/manuals/osmomsc-usermanual.xml +doc/manuals/common +doc/manuals/build |