diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | Makefile-man.am | 9 |
2 files changed, 10 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 53f1eef2b..197100349 100644 --- a/.gitignore +++ b/.gitignore @@ -289,3 +289,4 @@ stamp-* /rebuild_all.sh /src/libelogind/libelogind.pc /elogind-inhibit +/check_tree.sh diff --git a/Makefile-man.am b/Makefile-man.am index 845f96a41..35eec7798 100644 --- a/Makefile-man.am +++ b/Makefile-man.am @@ -363,6 +363,15 @@ man/sd_session_is_remote.html: man/sd_session_is_active.html endif +if HAVE_PYTHON +MANPAGES += \ + man/systemd.index.7 +MANPAGES_ALIAS += \ + # + + +endif + # Really, do not edit this file. EXTRA_DIST += \ |