Description: install example files in /usr/share/doc
Author: Hendrik Tews <hendrik@askra.de>
Forwarded: not-needed

--- proofgeneral.orig/Makefile
+++ proofgeneral/Makefile
@@ -193,7 +193,7 @@
 MANDIR=${PREFIX}/share/man/man1
 INFODIR=${PREFIX}/share/info
 
-install: install-desktop install-elisp install-bin
+install: install-desktop install-elisp install-bin install-examples
 
 install-desktop:
 	mkdir -p ${DESKTOP}/icons/hicolor/16x16/apps
@@ -249,6 +249,9 @@
 	cp -pf ${BIN_SCRIPTS} ${BINDIR}
 	cp debian/proofgeneral-shell-script ${BINDIR}/proofgeneral
 
+install-examples:
+	mkdir -p ${DOCDIR}/examples
+	cp coq/example.v ${DOCDIR}/examples/coq_example.v
 
 install-doc: doc.info doc.pdf
 	mkdir -p ${MANDIR}
