fixing EXTRA_DIST issues'
authorChristian Grothoff <christian@grothoff.org>
Tue, 12 Feb 2019 23:42:04 +0000 (00:42 +0100)
committerChristian Grothoff <christian@grothoff.org>
Tue, 12 Feb 2019 23:42:04 +0000 (00:42 +0100)
commit31bef70568177a32929331e73a18e852bee7bd08
treedffac5b2f3b41038b03310da3ddcfa8b51f645d7
parentaa83696e631e8025a7db809c5973459e23bc80f4
fixing EXTRA_DIST issues'
18 files changed:
Makefile.am
doc/handbook/Makefile.am
doc/tutorial/Makefile.am
doc/tutorial/docstyle.css [new file with mode: 0644]
doc/tutorial/htmlxref.cnf [new file with mode: 0644]
doc/tutorial/manual.css [new file with mode: 0644]
doc/tutorial/reset.css [new file with mode: 0644]
doc/tutorial/run-gendocs.sh [new file with mode: 0755]
doc/tutorial/style.css [new file with mode: 0644]
pkgconfig/Makefile.am
po/de.po
po/es.po
po/fr.po
po/it.po
po/sv.po
po/vi.po
po/zh_CN.po
src/rps/profiler_rps.conf