Description: install example files in /usr/share/doc
Author: Hendrik Tews <hendrik@askra.de>
--- a/Makefile
+++ b/Makefile
@@ -138,7 +138,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
@@ -191,6 +191,9 @@
 	mkdir -p ${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}
