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:10:43 +0100
commitf164d895490acbc62358d0d4281d9a6ccd6c0e3d (patch)
tree092815aaac9b50ba7eb3426ead1c009af9ee0c5a /.gitignore
parent1d2326d2cd43040278e7acebbbbd8387edbe39c2 (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: I0477d7c871413bd90b365d3064bac3cba23a0883
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore11
1 files changed, 11 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 78790884d..3480380d1 100644
--- a/.gitignore
+++ b/.gitignore
@@ -57,3 +57,14 @@ tests/testsuite.log
gsn_restart
writtenconfig/
gtphub_restart_count
+
+# 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