From 6a4888ffd67163b589e602d62ca6330a608d8b89 Mon Sep 17 00:00:00 2001 From: Andreas Jaeger Date: Mon, 14 May 2012 21:45:48 +0200 Subject: Do not build manual in source dir [BZ #13750] Do not build manual anymore in the source dir. Also clean up the Makefile and remove rules that have been used previously when we had a stand-alone Makefile which was obsoleted recently. --- manual/.gitignore | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100644 manual/.gitignore (limited to 'manual/.gitignore') diff --git a/manual/.gitignore b/manual/.gitignore deleted file mode 100644 index 55c49c998c..0000000000 --- a/manual/.gitignore +++ /dev/null @@ -1,30 +0,0 @@ -*.aux -*.c.texi -*.cp -*.cps -*.dvi* -*.fn -*.fns -*.info* -*.ky -*.kys -*.log -*.pdf -*.pg -*.pgs -*.ps -*.tmp -*.toc -*.tp -*.tps -*.vr -*.vrs -chapters.texi -dir-add.texi -dir-add.texinfo -libm-err.texi -stamp-* -summary.texi -texis -top-menu.texi -version.texi -- cgit v1.2.3-70-g09d2