Cross Reference: rules
xref
: /
hets
/
utils
/
debian
/
auto-package
/
debian-common
/
rules
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
#!/
usr
/
bin
/
make
-f
# -*- makefile -*-
%:
dh
$@
override_dh_auto_clean
:
make
distclean
dh_auto_clean
override_dh_auto_build
:
make
derivedSources
cp
Makefile
Makefile.orig
cp
UbuntuMakefile
Makefile
make
depend
make
hets
cp
Makefile.orig
Makefile
cd
doc
&&
pdflatex
UserGuide.tex
make
doc
override_dh_auto_test
:
yes
X |
make
check
override_dh_installman
:
dh_installman
debian
/
hets.1
override_dh_install
:
install
-m
755
-d
debian
/
hets-core
/
usr
/
lib
/
hets
install
-m
755
hets
debian
/
hets-core
/
usr
/
lib
/
hets
install
-m
755
-d
debian
/
hets-core
/
usr
/
lib
/
hets
/
hets-isa-tools
install
-m
755
Isabelle
/
export
/
export.sh
debian
/
hets-core
/
usr
/
lib
/
hets
/
hets-isa-tools
cp
Isabelle
/
export
/
export_helper.ml
debian
/
hets-core
/
usr
/
lib
/
hets
/
hets-isa-tools
cp
-r
hets
-
lib
debian
/
hets-core
/
usr
/
lib
/
hets
install
-m
644
magic
/
hets.magic
debian
/
hets-core
/
usr
/
lib
/
hets
cp
-r
hets
-
owl
-
tools
debian
/
hets-core
/
usr
/
lib
/
hets
install
-m
755
-d
debian
/
hets-core
/
usr
/
lib
/
hets
/
hets-maude-lib
install
-m
644
Maude
/
hets.prj
debian
/
hets-core
/
usr
/
lib
/
hets
/
hets-maude-lib
cp
Maude
/*
maude
debian
/
hets-core
/
usr
/
lib
/
hets
/
hets-maude-lib
install
-m
755
-d
debian
/
hets-doc
/
usr
/
share
/
doc
/
hets-doc
/
html
cp
docs
/*
debian
/
hets-doc
/
usr
/
share
/
doc
/
hets-doc
/
html
install
-m
755
-d
debian
/
hets-core
/
usr
/
bin
cp
debian
/
hets_script
debian
/
hets-core
/
usr
/
bin
/
hets