aboutsummaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorOliver Smith <osmith@sysmocom.de>2018-11-14 10:47:01 +0100
committerNeels Hofmeyr <neels@hofmeyr.de>2018-11-27 18:30:56 +0100
commit47aab58ec3e1973558a6793bc48801d26a337357 (patch)
treef697652b661cd2aa08cf432970827c4c500137e3 /.gitignore
parentdfb08d31fe3f1d9402b5c02e8518955d5c7c981d (diff)
build manuals moved here from osmo-gsm-manuals.git
Moved to doc/manuals/, with full commit history, in preceding merge commit. Now incorporate in 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: I7270652de393a98748c0cdc51e626c17ab8f44c2
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore11
1 files changed, 11 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 24098d62..c309e961 100644
--- a/.gitignore
+++ b/.gitignore
@@ -53,3 +53,14 @@ debian/osmo-pcu/
debian/tmp/
osmo-pcu.pc
+
+# 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